objsProcessed++;
  private final void doMarkGreyPhase() {    VM_Address obj;    AddressQueue src = (cycleBufferAisOpen) ? cycleBufferA : cycleBufferB;    AddressQueue tgt = (cycleBufferAisOpen) ? cycleBufferB : cycleBufferA;    rcSpace.markGreyPhase();    while (!(obj = src.pop()).isZero()) {      if (VM.VerifyAssertions) VM._assert(!SimpleRCBaseHeader.isGreen(obj));      if (SimpleRCBaseHeader.isPurple(obj)) {	if (VM.VerifyAssertions) VM._assert(SimpleRCBaseHeader.isLiveRC(obj));	rcSpace.markGrey(obj);	tgt.push(obj);      } else { 	if (VM.VerifyAssertions) VM._assert(SimpleRCBaseHeader.isGrey(obj));	SimpleRCBaseHeader.clearBufferedBit(obj); // FIXME Why? Why not above?      }    }     cycleBufferAisOpen = !cycleBufferAisOpen;  }