with Ada.Text_IO; use Ada.Text_IO;

package body Remote_Key is
   procedure Return_key(key: access Remote_Key_Type; value: in Positive) is
   begin
      Put_line("Przekazanie klucza:" & Positive'Image(value));
      Set_key(key, value);
   end;
end Remote_Key;