Automata stubs