with System; package Vect3_Pkg is type Index_Type is mod System.Memory_Size; function K return Index_Type; function N return Index_Type; end Vect3_Pkg;