int get execState => _$this._execState;
set execState(int execState) => _$this._execState = execState;