MODULE Integer32MatrixFmtLex = MatrixFmtLex (Integer32FmtLex, Integer32Vector, Integer32VectorFmtLex, Integer32Matrix) END Integer32MatrixFmtLex.