* write.c (dump_section_relocs): Call print_symbol_value_1 to