gcc/testsuite/gnat.dg/vect2_pkg.ads

package Vect2_Pkg is

   function K return Positive;
   function N return Positive;

end Vect2_Pkg;