BUCKETSIZE
nonres_cookie_t pages[BUCKETSIZE];
sz = howmany(n, BUCKETSIZE);
for (j = 0; j < BUCKETSIZE; j++) {
if (todo >= BUCKETSIZE * 2) {
todo = (todo % BUCKETSIZE) + BUCKETSIZE;
if (cur == BUCKETSIZE) {
for (i = 0; i < BUCKETSIZE; i++) {
for (i = 0; i < BUCKETSIZE; i++) {
b->cur = (b->cur + 1) % BUCKETSIZE;
cycle_target_frac += BUCKETSIZE;