c_machine_state_generator