#include <gtk-4.0/gtk/gtk.h>
#include <assert.h>
void set_exec_edit_mode (int prescribed_mode);
int get_exec_edit_mode ();
void set_run_xor_stop_exec (int prescribed_state);
int get_run_xor_stop_exec ();