saved_end        3403 maint/gnulib/lib/dfa.c   unsigned char saved_end = *(unsigned char *) end;
saved_end        3529 maint/gnulib/lib/dfa.c   *end = saved_end;