if (VM.VerifyAssertions) VM.assert(wide && opcode == JBC_iinc);
if (VM.VerifyAssertions) VM._assert(wide && opcode == JBC_iinc);
  public final int getWideIncrement() {    if (VM.VerifyAssertions) VM.assert(wide && opcode == JBC_iinc);    return readSignedShort();  }