gcc/gcc/testsuite/gnat.dg/vect5_pkg.ads

package Vect5_Pkg is

   function K return Positive;
   function N return Positive;

end Vect5_Pkg;