posalloc         2590 maint/gnulib/lib/dfa.c   position *posalloc = xnmalloc (d->nleaves, 2 * sizeof *posalloc);
posalloc         2592 maint/gnulib/lib/dfa.c   position *firstpos = posalloc;
posalloc         2841 maint/gnulib/lib/dfa.c   free (posalloc);