db_putchar
db_putchar('\n');
db_putchar('\t');
db_putchar('\n'); /* synch output position */
void db_putchar(int);
db_putchar(c);
db_putchar(buf[b]);