with Types; use Types;

package Remote_Key is
   pragma Remote_Types;

   type Remote_Key_Type is new Key_Type with private;
   procedure Return_key(key: access Remote_Key_Type; value: in Positive);

   type Remote_Key_Reference is access all Remote_Key_Type'Class;
   -- pragma Asynchronous(Remote_Key_Reference);
private
   type Remote_Key_Type is new Key_Type with null record;
end Remote_Key;