emitting c++ code for automatons now