- cerr<<"An uncaught exception occurred.\n";
- cerr<<" type: "<<Debug::demangle(typeid(e).name())<<'\n';
- cerr<<" what(): "<<e.what()<<'\n';
+ IO::print(IO::cerr, "An uncaught exception occurred.\n");
+ IO::print(IO::cerr, " type: %s\n", Debug::demangle(typeid(e).name()));
+ IO::print(IO::cerr, " what(): %s\n", e.what());