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