1package OCONST2 is
2
3  type u8 is mod 2**8;
4
5  type Base is record
6    i1 : Integer;
7  end Record;
8
9  type R is record
10    u : u8;
11    b : Base;
12  end record;
13
14  for R use record
15    u at 0 range 0 .. 7;
16    b at 1 range 0 .. 31;  -- aligned SImode bitfield
17  end record;
18
19  My_R : constant R := (u=>1, b=>(i1=>2));
20
21  procedure check (arg : R);
22
23end;
24