1package Debug12 is
2   type Bit_Array is array (Positive range <>) of Boolean
3      with Pack;
4   A  : Bit_Array := (1 .. 10 => False);
5   A2 : Boolean renames A (2);
6
7   function Get_A2 return Boolean;
8end Debug12;
9