state_mach_t
struct state_mach_t* next;
void (* concreteEnterState) (struct state_mach_t * );
Bool (* concreteCheckCondition) (struct state_mach_t * );