1with System; 2 3package Vect3_Pkg is 4 5 type Index_Type is mod System.Memory_Size; 6 7 function K return Index_Type; 8 function N return Index_Type; 9 10end Vect3_Pkg; 11