event_max_snroc
char *event_names[event_max_snroc];
unsigned char function[state_max_snroc][event_max_snroc];