if (VM.VerifyAssertions) VM.assert(opcode == JBC_tableswitch);
if (VM.VerifyAssertions) VM._assert(opcode == JBC_tableswitch);
  public final int getTableSwitchOffset(int num) {    if (VM.VerifyAssertions) VM.assert(opcode == JBC_tableswitch);    return getSignedInt(bcIndex + (num << 2));  }