6 type HI_Record is record
9 pragma Suppress_Initialization (HI_Record);
15 pragma Suppress_Initialization (R);
18 Bit at 0 range 0 .. 0;
19 Agg at 0 range 1 .. 16;
22 My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7));
23 My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7));
25 procedure Check (Arg : R; Bit : U1);