package body Types is
   function Get_key(key: access Key_Type) return Positive is
   begin
      return key.key_value;
   end Get_key;
   procedure Set_key(key: access Key_Type; value: Positive) is
   begin
      key.key_value := value;
   end Set_key;
end Types;