fiddle with order of nfa_exec_* API declarations in nfa.h