merged0 2518 maint/gnulib/lib/dfa.c position_set merged0; merged0 2519 maint/gnulib/lib/dfa.c position_set *merged = &merged0;