divide_round_up  5015 src/pdumper.c    ptrdiff_t words_needed = divide_round_up (number_bits,
divide_round_up  5707 src/pdumper.c      divide_round_up (header->discardable_start, DUMP_ALIGNMENT);