#include <gtk-4.0/gtk/gtk.h>
#include <assert.h>

void set_status (int prescribed);
int  get_status ();
void set_mode (int prescribed);
int  get_mode ();

enum mode { RUN, EDIT };
enum choice { INTER, STATE, RULES, DATA };
          //  MEASURE, OBSERVE, INTERPRET, HELP, CONFIGURE };

void SWITCH_TO (int asked);