VM.assert(opcode == JBC_invokevirtual || opcode == JBC_invokespecial ||
VM._assert(opcode == JBC_invokevirtual || opcode == JBC_invokespecial ||
  final int getMethodReferenceIndex() {    if (VM.VerifyAssertions)      VM.assert(opcode == JBC_invokevirtual || opcode == JBC_invokespecial ||                opcode == JBC_invokestatic || opcode == JBC_invokeinterface);    return readUnsignedShort();  }