check_state_run
if (sh->check_state == check_state_run)
sh->check_state = check_state_run;
case check_state_run:
sh->check_state = check_state_run;
if (sh->check_state == check_state_run)
if (sh->check_state == check_state_run) {
if (sh->check_state >= check_state_run &&
case check_state_run: