1package volatile1 is 2 3 type Command is (Nothing, Get); 4 5 type Data is 6 record 7 Time : Duration; 8 end record; 9 10 type Data_Array is array (Integer range <>) of Data; 11 12 type Command_Data (Kind : Command; Length : Integer) is 13 record 14 case Kind is 15 when Nothing => 16 null; 17 when Get => 18 Data : Data_Array (1 .. Length); 19 end case; 20 end record; 21 22end; 23