MODULE Integer32VectorBasic = VectorBasic (Integer32Basic, Integer32Vector) END Integer32VectorBasic.