if (VM.VerifyAssertions) VM.assert(VM.NOT_REACHED);
if (VM.VerifyAssertions) VM._assert(VM.NOT_REACHED);
  private void skipSpecialInstruction(int opcode) {    switch (opcode) {      case JBC_tableswitch:        {          alignSwitch();          getDefaultSwitchOffset();          int l = getLowSwitchValue();          int h = getHighSwitchValue();          skipTableSwitchOffsets(h - l + 1);  // jump offsets        }        break;      case JBC_lookupswitch:        {          alignSwitch();          getDefaultSwitchOffset();          int n = getSwitchLength();          skipLookupSwitchPairs(n);           // match-offset pairs        }        break;      case JBC_wide:        {          getWideOpcode();          int len = JBC_length[opcode] - 1;          bcIndex += len + len;        }        break;      default:        if (VM.VerifyAssertions) VM.assert(VM.NOT_REACHED);    }  }  //// READ BYTECODES  private final byte readSignedByte() {    if (VM.VerifyAssertions) VM.assert(bcIndex <= bcLength);    return bcodes[bcIndex++];  }