- fprintf_filtered (stream, "Block @0x%x, symbol @0x%x (%s)",
- exp->elts[elt].block,
- exp->elts[elt + 1].symbol,
+ fprintf_filtered (stream, "Block @");
+ gdb_print_host_address (exp->elts[elt].block, stream);
+ fprintf_filtered (stream, ", symbol @");
+ gdb_print_host_address (exp->elts[elt + 1].symbol, stream);
+ fprintf_filtered (stream, " (%s)",