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