if (Assert.VERIFY_ASSERTIONS) { Assert._assert(traceRemset.isEmpty()); Assert._assert(arrayRemset.isEmpty()); }
  protected void flushRememberedSets() throws InlinePragma {    logMessage(5, "processing remset");    remset.flushLocal();    while (!traceRemset.isEmpty()) {      Address loc = traceRemset.pop();      traceObjectLocation(loc, false);    }    logMessage(5, "processing array remset");    while (!arrayRemset.isEmpty()) {      Address start = arrayRemset.pop1();      Address guard = arrayRemset.pop2();      while (start.LT(guard)) {        traceObjectLocation(start, false);        start = start.add(BYTES_IN_ADDRESS);      }    }    if (Assert.VERIFY_ASSERTIONS) {      Assert._assert(traceRemset.isEmpty());      Assert._assert(arrayRemset.isEmpty());    }  }