better output in test_fsm()