debugging FSA