unmodified FSM working