package Renaming5 is procedure Proc; end Renaming5;