2 -- { dg-options "-gnatws" }
5 type Byte is range 0 .. 2**8 - 1;
8 type Time is array (1 .. 3) of Byte;
10 type UTC_Time is record
14 type Local_Time is record
17 for Local_Time use record
18 Values at 0 range 1 .. 24;
25 UTC.Values := LOC.Values;
26 UTC := (Values => LOC.Values);