resolved_prog_filename_to_free  643 maint/gnulib/lib/spawni.c   char *resolved_prog_filename_to_free = NULL;
resolved_prog_filename_to_free  651 maint/gnulib/lib/spawni.c       resolved_prog_filename_to_free = (char *) resolved_prog_filename;
resolved_prog_filename_to_free  662 maint/gnulib/lib/spawni.c       free (resolved_prog_filename_to_free);
resolved_prog_filename_to_free  676 maint/gnulib/lib/spawni.c   free (resolved_prog_filename_to_free);