1package Opt72_Pkg is 2 3 type Rec is record 4 Flag : Boolean; 5 Size : Positive; 6 end record; 7 for Rec use record 8 Flag at 0 range 0 .. 0; 9 Size at 0 range 1 .. 31; 10 end record; 11 12end Opt72_Pkg; 13