automaton (pending bug fixes)