fsm debugged