xref: /dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gnat.dg/atomic11_pkg2.ads

package Atomic11_Pkg2 is

  function Max return Positive;

end Atomic11_Pkg2;