src/gcc/gcc/testsuite/gnat.dg/specs/pack10_pkg.adb

package body Pack10_Pkg is

   procedure Proc is begin null; end;

end Pack10_Pkg;