INTERFACE ExtendedVectorFmtLex = VectorFmtLex (ExtendedFmtLex, ExtendedVector) END ExtendedVectorFmtLex.