if (VM.VerifyAssertions) VM.assert(opcode == JBC_tableswitch);
if (VM.VerifyAssertions) VM._assert(opcode == JBC_tableswitch);
  public final int computeTableSwitchOffset(int value, int low, int high) {    if (VM.VerifyAssertions) VM.assert(opcode == JBC_tableswitch);    if (value < low || value > high) return 0;    return getSignedInt(bcIndex + ((value - low) << 2));  }