1 package Unc_Constructor is 2 type C is null record; 3 type A is array (Positive range <>) of C; 4 A0 : constant A; 5 procedure P (X : A); 6 private 7 A0 : aliased constant A := (1 .. 0 => (null record)); 8 end; 9
