set_start_state
set_start_state(name, sym, &dec);
set_start_state(name, sym, &inc);
set_start_state(name, sym, &unlocked);
set_start_state(name, sym, &locked);
set_start_state(name, sym, &unlocked);
set_start_state(name, sym, &locked);
set_start_state(name, sym, &locked);