filter_terminate  525 maint/gnulib/lib/pipe-filter-gi.c     filter_terminate (filter);
filter_terminate  546 maint/gnulib/lib/pipe-filter-gi.c           filter_terminate (filter);
filter_terminate  558 maint/gnulib/lib/pipe-filter-gi.c   filter_terminate (filter);