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