Reindent this like:
indent with indent --no-tabs -l79 -Tsize_t -Tbool -Twint_t
-Tposition_set -Tmust dfa.c
and adjust it.