state_t * ship_success() { printf("Successfully shipped parts...\n"); start_warranty(); updateStats(DONE); exit_from(); return &accepting; }
state_t* open_button_pressed() { exit_from(); return &opening; }
state_t * order_received() { exit_from(); return &processing; }