FWS_C
w->state = w->state >= FWS_C ? FWS_U : FWS_INIT;
if (w->state == FWS_C && w->leaf == rt) {
w->state = FWS_C;
case FWS_C: