let default_automaton : t_automaton = { transition = default_transition; end_state = State 100; }