state_max_snroc
#define INVALID_STATE state_max_snroc
char *state_names[state_max_snroc];
unsigned char function[state_max_snroc][event_max_snroc];
bool final_states[state_max_snroc];