STATE_REST
state_t st = STATE_REST;
if (st != STATE_REST && c == EOF) {
case STATE_REST:
st = STATE_REST;