state_max_wip
#define INVALID_STATE state_max_wip
char *state_names[state_max_wip];
unsigned char function[state_max_wip][event_max_wip];
bool final_states[state_max_wip];