INTERFACE Integer32MatrixFmtLex = MatrixFmtLex (Integer32FmtLex, Integer32Matrix) END Integer32MatrixFmtLex.