trapDump
void trapDump(const char *, int (*)(const char *, ...));
trapDump("ddb trap trace", db_printf);
trapDump("trap", printf);