SETUP
SETUP(m->st);
SETUP(m->fresh);
SETUP(m->tmp);
SETUP(m->empty);
case SETUP:
tw->tw_ctrl_state = SETUP;