| package OCONST1 is | |
| type u8 is mod 2**8; | |
| type Base is record | |
| i1 : Integer; | |
| i2 : Integer; | |
| i3 : Integer; | |
| end Record; | |
| type R is record | |
| u : u8; | |
| b : Base; | |
| end record; | |
| for R use record | |
| u at 0 range 0 .. 7; | |
| b at 1 range 0 .. 95; -- BLKmode bitfield | |
| end record; | |
| My_R : constant R := (u=>1, b=>(2, 3, 4)); | |
| procedure check (arg : R); | |
| end; |