DUMP_BITSET_WORD_WIDTH 5016 src/pdumper.c  					    DUMP_BITSET_WORD_WIDTH);
DUMP_BITSET_WORD_WIDTH 5031 src/pdumper.c    ptrdiff_t word_number = bit_number / DUMP_BITSET_WORD_WIDTH;
DUMP_BITSET_WORD_WIDTH 5041 src/pdumper.c    bit <<= bit_number % DUMP_BITSET_WORD_WIDTH;
DUMP_BITSET_WORD_WIDTH 5052 src/pdumper.c    bit <<= bit_number % DUMP_BITSET_WORD_WIDTH;