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