#include <gtk-4.0/gtk/gtk.h>
#include <assert.h>
void set_run_edit_mode (int prescribed_mode);
int get_run_edit_mode ();