gcc/testsuite/gnat.dg/array15.ads

package Array15 is

   function F (I : Integer) return Integer;

end Array15;