gcc/testsuite/gnat.dg/atomic7_pkg2.ads

package Atomic7_Pkg2 is

  function Stamp return Natural;

end Atomic7_Pkg2;