VM.assert(opcode == JBC_tableswitch || opcode == JBC_lookupswitch);
VM._assert(opcode == JBC_tableswitch || opcode == JBC_lookupswitch);
  public final int getDefaultSwitchOffset() {    if (VM.VerifyAssertions)      VM.assert(opcode == JBC_tableswitch || opcode == JBC_lookupswitch);    return readSignedInt();  }