XdrUint64? get sequenceNumber => this._sequenceNumber;
set sequenceNumber(XdrUint64? value) => this._sequenceNumber = value;