let
getAutomata () = !automata