package OCONST2 is

  type u8 is mod 2**8;

  type Base is record
    i1 : Integer;
  end Record;

  type R is record
    u : u8;
    b : Base;
  end record;

  for R use record
    u at 0 range 0 .. 7;
    b at 1 range 0 .. 31;  -- aligned SImode bitfield
  end record;

  My_R : constant R := (u=>1, b=>(i1=>2));

  procedure check (arg : R);

end;