gcc/testsuite/gnat.dg/discr53_pkg.ads

package Discr53_Pkg is

  function Max return Natural;

end Discr53_Pkg;