is mentioned

In prior sections: core mb list 1 mb automata 1 prog 1 mb structures mb record

Try larger context: GenAutomata