ExceptionEnvelopeType: string = ...