XdrUint32 get highThreshold => this._highThreshold;
set highThreshold(XdrUint32 value) => this._highThreshold = value;