SETUP
SETUP(m->st);
SETUP(m->fresh);
SETUP(m->tmp);
SETUP(m->empty);
SETUP;
SETUP;
ep->phase = SETUP;
KASSERT(ep->phase == SETUP || ep->phase == DATA_OUT ||