allow automata dump