package Proxy is

   procedure Proc1;
   --  Priority of the caller must be <= 3

   procedure Proc2;
   --  Priority of the caller must be <= 3

   procedure Proc3;
   --  Priority of the caller must be <= 3

end Proxy;
