correctly codegen machine with no transitions