Can toggle exec tracing mode ON/OFF. The state of exec tracing is saved to
the first line of the file execution_traces.txt, where 1 is ON and 0 is OFF.