1package Varsize2 is
2
3   type Key_Type is
4      (Nul, Cntrl, Stx, Etx, Eot, Enq, Ack, Spad, Clr, Dc_1, Dc_2, Dc_3, Dc_4);
5
6   for Key_Type use
7      (Nul   => 0,
8       Cntrl => 1,
9       Stx   => 2,
10       Etx   => 3,
11       Eot   => 4,
12       Enq   => 5,
13       Ack   => 6,
14       Spad  => 7,
15       Clr   => 8,
16       Dc_1  => 17,
17       Dc_2  => 18,
18       Dc_3  => 19,
19       Dc_4  => 20);
20
21   type Page_Type(D : Boolean := False) is record
22      case D is
23         when True => I : Integer;
24         when False => null;
25      end case;
26   end record;
27
28   function F (Key : Key_Type) return Page_Type;
29
30end Varsize2;
31