3 procedure Aligned_Vla is
5 type Table is array (Integer range <>) of Integer;
6 for Table'Alignment use Long_Float'Alignment;
9 Konstants : Table (1 .. 4) := (others => K);
11 procedure Check_Copy (Len : Integer) is
12 My_Konstants : Table (1 .. Len) := Konstants (1 .. 1 + Len - 1);
14 for I in My_Konstants'Range loop
15 if My_Konstants (I) /= K then
22 Check_Copy (Len => 4);