dump_read_word_from_dump 5290 src/pdumper.c    uintptr_t value = dump_read_word_from_dump (dump_base, reloc_offset);
dump_read_word_from_dump 5333 src/pdumper.c          uintptr_t value = dump_read_word_from_dump (dump_base, reloc_offset);
dump_read_word_from_dump 5341 src/pdumper.c          uintptr_t value = dump_read_word_from_dump (dump_base, reloc_offset);