package Vect5_Pkg is

   function K return Positive;
   function N return Positive;

end Vect5_Pkg;