(root)/
gcc-13.2.0/
gcc/
testsuite/
gnat.dg/
specs/
controlled1_pkg.ads
-- { dg-excess-errors "no code generated" }

package Controlled1_Pkg is

  function Value return Natural;

end Controlled1_Pkg;