state_max_sssw
#define INVALID_STATE state_max_sssw
char *state_names[state_max_sssw];
unsigned char function[state_max_sssw][event_max_sssw];
bool final_states[state_max_sssw];