INTERFACE ExtendedComplexVectorTrans = VectorTrans (ExtendedBasic, ExtendedComplexVector) END ExtendedComplexVectorTrans.