/* * db_printf: printf for DDB (via db_putchar) */