1package body Discr25_Pkg is 2 3 type Arr1 is array (Natural range <>) of Integer; 4 5 B : constant Boolean := N > 0; 6 7 type Arr2 is array (True .. B) of Integer; 8 9 type Obj_T (Size_Max : Natural) is record 10 A2 : Arr2; 11 A1 : Arr1 (0 .. Size_Max); 12 end record; 13 14 procedure Proc1 (Set : in out T) is 15 begin 16 Set := new Obj_T'(Set.all); 17 end; 18 19 procedure Proc2 (Obj : in out T; L : Natural) is 20 begin 21 Obj := new Obj_T (L); 22 end; 23 24end Discr25_Pkg; 25