fsm testing works