W_ERROR
new_state = W_ERROR;
case W_ERROR:
if (new_state == W_ERROR)
new_state = W_ERROR;
new_state = W_ERROR;
new_state = W_ERROR;
new_state = W_ERROR;
new_state = W_ERROR;
new_state = W_ERROR;