Initial version of state machine generator.