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