vbitset_reset      40 maint/gnulib/lib/bitset/vector.c static void vbitset_reset (bitset, bitset_bindex);
vbitset_reset     931 maint/gnulib/lib/bitset/vector.c   vbitset_reset,