AVAIL
slab->state = AVAIL;
if (slab->navail == slab->nmax && slab->state == AVAIL) {
MASSERT(slab->state == AVAIL);
slab->state = AVAIL;
slab->state = AVAIL;
slab->state = AVAIL;