gcc/testsuite/gnat.dg/elab7_pkg2.ads

package Elab7_Pkg2 is
   pragma Elaborate_Body;

   procedure A;
end Elab7_Pkg2;