MODULE  ExtendedComplexTrans = ComplexTrans (ExtendedBasic, ExtendedTrans, ExtendedComplex) END ExtendedComplexTrans.