package body P is

  procedure Call (Proc : Non_Secure) is
  begin
    Proc.all;
  end;

  procedure Foo is null;

end P;