if (VM.VerifyAssertions) VM._assert(getRCColor(object) != GREEN);
  public static void makeWhite(Object object)     throws VM_PragmaUninterruptible, VM_PragmaInline {    changeRCColor(object, WHITE);  }