src/dfa.c:472
src/dfa.c:1103-1116
