with System;

package Init3 is

  type Small is mod 2**2;
  for Small'Size use 2;

  type Count is mod 2**9;
  for Count'Size use 9;

  type Nested1 is record
    C1 : Count;
    C2 : Count;
    C3 : Count;
  end record;
  pragma Pack (Nested1);
  for Nested1'Size use 27;
  for Nested1'Bit_Order use System.Low_Order_First;
  for Nested1'Scalar_Storage_Order use System.Low_Order_First;

  type R1 is record
    S1 : Small;
    I  : Integer;
    S2 : Small;
    N  : Nested1;
    B  : Boolean;
  end record;
  for R1'Bit_Order use System.Low_Order_First;
  for R1'Scalar_Storage_Order use System.Low_Order_First;
  for R1 use record
    S1 at 0 range  0 ..  1;
    I  at 0 range  2 .. 33;
    S2 at 0 range 34 .. 35;
    N  at 0 range 36 .. 62;
    B  at 0 range 63 .. 63;
  end record;
  for R1'Size use 64;

  type Nested2 is record
    C1 : Count;
    C2 : Count;
    C3 : Count;
  end record;
  pragma Pack (Nested2);
  for Nested2'Size use 27;
  for Nested2'Bit_Order use System.High_Order_First;
  for Nested2'Scalar_Storage_Order use System.High_Order_First;
  type R2 is record
    S1 : Small;
    I  : Integer;
    S2 : Small;
    N  : Nested2;
    B  : Boolean;
  end record;
  for R2'Bit_Order use System.High_Order_First;
  for R2'Scalar_Storage_Order use System.High_Order_First;
  for R2 use record
    S1 at 0 range  0 ..  1;
    I  at 0 range  2 .. 33;
    S2 at 0 range 34 .. 35;
    N  at 0 range 36 .. 62;
    B  at 0 range 63 .. 63;
  end record;
  for R2'Size use 64;

  My_R1 : constant R1 := (S1 => 2,
                          I  => 16#12345678#,
                          S2 => 1,
                          N  => (16#AB#, 16#CD#, 16#EF#),
                          B  => True);

  My_R2 : constant R2 := (S1 => 2,
                          I  => 16#12345678#,
                          S2 => 1,
                          N  => (16#AB#, 16#CD#, 16#EF#),
                          B  => True);

end Init3;