Cmd line options, more automata.