TYPEDO
if (state->mode == TYPE) state->mode = TYPEDO; /* skip check */
state->mode = TYPEDO;
case TYPEDO:
if (state->mode == TYPE) state->mode = TYPEDO; /* skip check */
state->mode = TYPEDO;
case TYPEDO: