PAGE_COUNTERS_COUNTERS
if (PAGE_COUNTERS_COUNTERS(i, 1) != NULL)
old_ctr = PAGE_COUNTERS_COUNTERS(oldmnode, r);
PAGE_COUNTERS_COUNTERS(mnode, r) = new_ctr;
PAGE_COUNTERS_COUNTERS(i, r) == old_ctr ||
PAGE_COUNTERS_COUNTERS(i, r) == NULL);
PAGE_COUNTERS_COUNTERS(i, r) = new_ctr;
PAGE_COUNTERS_COUNTERS(i, r) = NULL;
PAGE_COUNTERS_COUNTERS(mnode, r) =
PAGE_COUNTERS_COUNTERS(mnode, r) =
PAGE_COUNTERS_COUNTERS(firstmn, r);