if (verbose == 2) { decCounter = 0; while (!(tgt = decBuffer.pop()).isZero()) { rcCollector.decRC(tgt, rc, this); decCounter++; } } else while (!(tgt = decBuffer.pop()).isZero()) rcCollector.decRC(tgt, rc, this);
while (!(tgt = decBuffer.pop()).isZero()) rcCollector.decrement(tgt, rc, this);
  private final void processDecBufs() {    VM_Address tgt;    if (verbose == 2) {      decCounter = 0;      while (!(tgt = decBuffer.pop()).isZero()) {	rcCollector.decRC(tgt, rc, this);	decCounter++;      }    } else      while (!(tgt = decBuffer.pop()).isZero())	rcCollector.decRC(tgt, rc, this);  }