STATE_RUNNING
atomic_store_int(state, STATE_RUNNING);
KASSERT(atomic_load_int(statep) == STATE_RUNNING,
atomic_store_int(statep, STATE_RUNNING);
atomic_store_int(statep, STATE_RUNNING);
atomic_store_int(state, STATE_RUNNING);
atomic_store_int(state, STATE_RUNNING);
atomic_store_int(state, STATE_RUNNING);
case STATE_RUNNING: