NewState
NewState(PPP_ACK_RCVD_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_OPENED_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_CLOSING_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_CLOSING_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_CLOSING_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_ACK_SENT_STATE);
NewState(PPP_ACK_SENT_STATE);
NewState(PPP_OPENED_STATE);
NewState(PPP_ACK_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
void NewState(ppp_state next);
NewState(REQ_SENT);
NewState(WAITING_FOR_REQ);
NewState(INITIAL);
NewState(INITIAL);
NewState(ACCEPTED);
NewState(INITIAL);
NewState(ACCEPTED);
NewState(INITIAL);
void NewState(pap_state next);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_ACK_RCVD_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_OPENED_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_STOPPING_STATE);
NewState(PPP_CLOSED_STATE);
NewState(PPP_STOPPED_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_CLOSED_STATE);
NewState(PPP_STOPPED_STATE);
NewState(PPP_STOPPING_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_OPENED_STATE);
NewState(PPP_CLOSED_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_CLOSED_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_STARTING_STATE);
NewState(PPP_STARTING_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_STARTING_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_STOPPING_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_CLOSING_STATE);
NewState(PPP_INITIAL_STATE);
NewState(PPP_CLOSING_STATE);
NewState(PPP_STOPPED_STATE);
NewState(PPP_REQ_SENT_STATE);
NewState(PPP_CLOSED_STATE);
NewState(PPP_STOPPED_STATE);
NewState(PPP_ACK_SENT_STATE);
NewState(PPP_OPENED_STATE);
NewState(PPP_ACK_SENT_STATE);
void NewState(ppp_state next);