gcc/testsuite/gnat.dg/vect3_pkg.ads

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;