void runstate_set(RunState new_state)

{

    if (new_state >= RUN_STATE_MAX ||

        !runstate_valid_transitions[current_run_state][new_state]) {

        fprintf(stderr, "invalid runstate transition\n");

        abort();

    }



    current_run_state = new_state;

}

void runstate_set(RunState new_state)

{

    if (new_state >= RUN_STATE_MAX ||

        !runstate_valid_transitions[current_run_state][new_state]) {

        fprintf(stderr, "invalid runstate transition\n");

        abort();

    }



    current_run_state = new_state;

}

void FUNC_0(RunState VAR_0)

{

    if (VAR_0 >= RUN_STATE_MAX ||

        !runstate_valid_transitions[current_run_state][VAR_0]) {

        fprintf(stderr, "invalid runstate transition\n");

        abort();

    }



    current_run_state = VAR_0;

}

void FUNC_0(RunState VAR_0)
{ if (VAR_0 >= RUN_STATE_MAX ||
!runstate_valid_transitions[current_run_state][VAR_0]) { fprintf(stderr, "invalid runstate transition\n"); abort(); } current_run_state = VAR_0; }