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