gcc/testsuite/gnat.dg/discr12_pkg.ads

package Discr12_Pkg is

  function Dummy (I : Integer) return Integer;

end Discr12_Pkg;