INTERFACE Integer32PolynomialFmtLex = PolynomialFmtLex (Integer32FmtLex, Integer32Polynomial) END Integer32PolynomialFmtLex.