if (VM.VerifyAssertions) VM.assert(opcode == JBC_sipush);
if (VM.VerifyAssertions) VM._assert(opcode == JBC_sipush);
  public final int getShortValue() {    if (VM.VerifyAssertions) VM.assert(opcode == JBC_sipush);    return readSignedShort();  }