MODULE Integer32MatrixBasic = MatrixBasic (Integer32Basic, Integer32Vector, Integer32VectorRep) END Integer32MatrixBasic.