; #nfa