#include <gtk-4.0/gtk/gtk.h>
#include <assert.h>
void set_status (int prescribed);
int get_status ();
enum choice { INTER, STATE, RULES, DATA };
void SWITCH_TO (int asked);