/*
 *   Example of simple nested switch... Rather naive.
 */

    switch (state) {
        case INIT_STATE:
            switch (event) {
                case HOME_EVENT:
                    printf("We're already home\n");
                    /* note: we don't set new state, so it stays the same */
                    break;
                case NEXT_EVENT:
                    state = SECOND_STATE;
		    break;
                default:
                    printf("Unknown event %d in INIT_STATE\n",event);
                    break;
            }
            break;
        case SECOND_STATE:
            switch (event) {
                /* case for each event valid for this state... */
            }
            break;
        default:
            printf("How'd we get in unknown state %d?\n",state);
            break;
    }