package Callback is
   pragma Remote_Call_Interface;
   procedure Return_key(key: in Positive);
end Callback;