is mentioned
In prior sections: mb events mb automata 1 mb basic mb structures mb declaration
Try larger context: GenAutomata