gcc/testsuite/gnat.dg/atomic11_pkg2.ads

package Atomic11_Pkg2 is

  function Max return Positive;

end Atomic11_Pkg2;