package OCONST5 is type u1 is mod 2**1; type u8 is mod 2**8; type HI_Record is record A, B : U8; end record; pragma Suppress_Initialization (HI_Record); type R is record Bit : U1; Agg : HI_Record; end record; pragma Suppress_Initialization (R); for R use record Bit at 0 range 0 .. 0; Agg at 0 range 1 .. 16; end record; My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7)); My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7)); procedure Check (Arg : R; Bit : U1); end;