1with Lto24_Pkg2; 2 3package Lto24_Pkg1 is 4 5 Max_Elem : constant Natural := Lto24_Pkg2.Get; 6 7 type Arr is array (Natural range <>) of Boolean; 8 9 type Rec (B : Boolean) is record 10 I : Integer; 11 case B is 12 when True => A : Arr (1 .. Max_Elem); 13 when False => Empty : Boolean; 14 end case; 15 end record; 16 17end Lto24_Pkg1; 18