1package Debug6_Pkg is
2
3   type Vkind is (Int, Undefined);
4   for Vkind use (Int => -2 ** 31, Undefined => 0);
5
6    type Value (Kind : Vkind) is record
7       case Kind is
8          when Undefined => null;
9          when Int       => Value : Integer;
10          when others    => null;
11       end case;
12    end record;
13
14    procedure Process (V : Value);
15
16end Debug6_Pkg;
17