- c->dd_printf(get_type_name());
- c->dd_printf(": invalid address ", get_type_name());
- c->dd_printf(mem->addr_format, addr);
- c->dd_printf(" in memory ");
- c->dd_printf(mem->get_name());
- c->dd_printf(".\n");
+ FILE *f= c->get_out();
+ cmd_fprintf(f, "%s: invalid address ", get_type_name());
+ cmd_fprintf(f, mem->addr_format, addr);
+ cmd_fprintf(f, " in memory %s.\n", mem->get_name());