1package OCONST5 is
2
3  type u1 is mod 2**1;
4  type u8 is mod 2**8;
5
6  type HI_Record is record
7    A, B : U8;
8  end record;
9  pragma Suppress_Initialization (HI_Record);
10
11  type R is record
12     Bit : U1;
13     Agg : HI_Record;
14  end record;
15  pragma Suppress_Initialization (R);
16
17  for R use record
18     Bit at 0 range  0 .. 0;
19     Agg at 0 range  1 .. 16;
20  end record;
21
22  My_R0 : R := (Bit => 0, Agg => (A => 3, B => 7));
23  My_R1 : R := (Bit => 1, Agg => (A => 3, B => 7));
24
25  procedure Check (Arg : R; Bit : U1);
26
27end;
28