XdrInt64 get txMaxInstructions => this._txMaxInstructions;
set txMaxInstructions(XdrInt64 value) => this._txMaxInstructions = value;