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