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