code: private void opStateCheckPush() {
          int mem = code[ip++];
          if (stateCheckVal(s, mem)) {opFail(); return;}
          int addr = code[ip++];
          pushAltWithStateCheck(ip + addr, s, sprev, mem, pkeep);
      }
docs: CEC