--  { dg-do compile }

package body Renaming12 is

  procedure Dummy is null;

end Renaming12;