(module M_IntVector)