/src/nfa/