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