package Vect2_Pkg is

   function K return Positive;
   function N return Positive;

end Vect2_Pkg;