1 2package body Nested_Subtype_Byref is 3 4 type Data (Stamped : Boolean) is record 5 case Stamped is 6 when True => Valid : Boolean; 7 when others => null; 8 end case; 9 end record; 10 11 type Message is record 12 F : Integer := 1; 13 D : Data (Stamped => True); 14 end record; 15 16 procedure Check is 17 M : Message; 18 begin 19 M.D.Valid := True; 20 end; 21 22end; 23 24