s/fsa/dfa/; ???