1package Aggr19_Pkg is
2
3  type Rec1 (D : Boolean := False) is record
4    case D is
5      when False => null;
6      when True => Pos : Integer;
7    end case;
8  end record;
9
10  type Rec2 is record
11    L : Rec1;
12  end record;
13
14  type Rec3 is tagged null record;
15
16  type Enum is (One, Two, Three);
17
18  type Rec4 (Kind : Enum := One) is record
19    Node : Rec2;
20    case Kind is
21      when One => R : Rec3;
22      when Others => I : Integer;
23    end case;
24  end record;
25
26  type Rec5 is record
27    Ent : Rec4;
28  end record;
29
30  procedure Proc (Pool : in out Rec5);
31
32end Aggr19_Pkg;
33