must 4013 maint/gnulib/lib/dfa.c typedef struct must must; must 4015 maint/gnulib/lib/dfa.c struct must