S_WAIT_ACK
if (p->state == S_WAIT_ACK)
case S_WAIT_ACK:
p.state = S_WAIT_ACK;
case S_WAIT_ACK:
p->state = S_WAIT_ACK;
case S_WAIT_ACK:
p->state = S_WAIT_ACK;
case S_WAIT_ACK:
p->state = S_WAIT_ACK;
if (p->state == S_WAIT_ACK || p->state == S_WAIT_BUDDY) {