Oops: the type is __tesla_automaton_description.