Data structures for the state machine generator.