private static boolean testMarkBit(ObjectReference object, Word value)
public static boolean testMarkBit(ObjectReference object, Word value)
  private static boolean testMarkBit(ObjectReference object, Word value)      throws InlinePragma {    return ObjectModel.readAvailableBitsWord(object).and(MARK_BIT_MASK).EQ(value);  }