fsm.c: added comment describing current over-eating bug in C fsm