gcc/testsuite/gnat.dg/opt3_pkg.ads

package Opt3_Pkg is

  procedure F (I : Short_Integer);

end Opt3_Pkg;