package Renaming5 is

   procedure Proc;

end Renaming5;