RESET
case RESET | END:
state = RESET;
case RESET | DIGIT:
state = RESET;
temp->in_progress = RESET;
head->in_progress = RESET;
pnode->head = RESET;
pnode->in_progress = RESET;
head->in_progress = RESET;
pnode->head = RESET;
pnode->in_progress = RESET;
reinit_bus(scp, RESET);
case RESET: