1package 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); 6private 7 A0 : aliased constant A := (1 .. 0 => (null record)); 8end; 9