with Ada.Text_IO; use Ada.Text_IO;

package body Callback is
   procedure Return_key(key: in Positive) is
   begin
      Put_line("Klucz:" & Positive'Image(key));
   end;
end Callback;