gcc/testsuite/gnat.dg/debug13.ads

package Debug13 is

   procedure Compile (P : Natural);

end Debug13;