private void Goto(int newpos) { // when branching backward, ensure storage if (newpos < _codepos) EnsureStorage(); SetOperator(_code._codes[newpos]); _codepos = newpos; }