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