teken_printf
teken_printf("Got UTF-8 char %x\n", t->t_utf8_partial);
teken_printf("Unknown DA2\n");
teken_printf("DECSET VT52\n");
teken_printf("DECSET inverse video\n");
teken_printf("DECSET allow 132\n");
teken_printf("DECSET reverse wraparound\n");
teken_printf("Switch away from alternate buffer\n");
teken_printf("Unknown DECSET: %u\n", cmd);
teken_printf("Insert mode\n");
teken_printf("Unknown set mode: %u\n", cmd);
teken_printf("unsupported attribute %u\n", n);
teken_printf("single height double width???\n");
teken_printf("single height single width???\n");
teken_printf("Unknown DSR\n");
teken_printf("Unsupported device control string\n");
teken_printf("double height double width top\n");
teken_printf("double height double width bottom\n");
teken_printf("Unsupported operating system command\n");
teken_printf("Unknown DA1\n");
teken_printf("DECRST VT52\n");
teken_printf("DECRST inverse video\n");
teken_printf("DECRST allow 132\n");
teken_printf("DECRST reverse wraparound\n");
teken_printf("Switch to alternate buffer\n");
teken_printf("Unknown DECRST: %u\n", cmd);
teken_printf("Unknown reset mode: %u\n", cmd);
teken_printf("unsupported attribute %u\n", cmd);