3 procedure Outer_Agg_Bitfield_Constructor is
5 type Mod_64 is mod 2 ** 64;
6 for Mod_64'Size use 64;
8 type Uint_16 is range 0 .. 2 ** 16 - 1;
9 for Uint_16'Size use 16;
11 type Values_Type is record
16 for Values_Type use record
17 M64 at 0 range 0 .. 63;
18 U16 at 8 range 0 .. 15;
21 type Wrapper_Type is record
25 for Wrapper_Type use record
26 Values at 0 range 0 .. 79;
32 W : Wrapper_Type := (Values => (M, U));
34 procedure Check (O : Wrapper_Type) is
36 if O.Values.M64 /= M or else O.Values.U16 /= U then