#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 ();