type Proc is access procedure;

function make_proc return Proc is
   procedure temp_p is
   begin
      Ada.Text_IO.put_line("Hi");
   end temp_p;
begin
    return temp_p'Access;
end make_proc;