lbitset_prune 400 maint/gnulib/lib/bitset/list.c lbitset_prune (bset, head); lbitset_prune 1079 maint/gnulib/lib/bitset/list.c lbitset_prune (dst, delt);