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