state_end
state = state_end;
state = state_end;
state = state_end;
state = state_end;
state = state_end;
case state_end:
} while (state != state_end);