get_start_states
struct stree *start_states = get_start_states();
struct stree *get_start_states(void);
orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym);
orig = get_state_stree(get_start_states(), my_id, sm->name, sm->sym);
start_states = get_start_states();