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