VM.assert(opcode == JBC_new || opcode == JBC_anewarray ||
VM._assert(opcode == JBC_new || opcode == JBC_anewarray ||
  public final int getTypeReferenceIndex() {    if (VM.VerifyAssertions)      VM.assert(opcode == JBC_new || opcode == JBC_anewarray ||                opcode == JBC_checkcast || opcode == JBC_instanceof ||                opcode == JBC_multianewarray);    return readUnsignedShort();  }