VM.assert(opcode == JBC_getstatic || opcode == JBC_putstatic ||
VM._assert(opcode == JBC_getstatic || opcode == JBC_putstatic ||
  public final int getFieldReferenceIndex() {    if (VM.VerifyAssertions)      VM.assert(opcode == JBC_getstatic || opcode == JBC_putstatic ||                opcode == JBC_getfield || opcode == JBC_putfield);    return readUnsignedShort();  }