code: private void stateCheckMark() {
          StackEntry e = stack[stk];
          int x = stateCheckPos(e.getStatePStr(), ((SCStackEntry)e).getStateCheck());
          stateCheckBuff[x / 8] |= (1 << (x % 8));
      }
docs: ELSE_IF_STATE_CHECK_MARK