let
getAutomata () =
!automata