static void pwrite(unsigned char c)
static void pwrite(Ldisc ldisc, unsigned char c)
static void pwrite(unsigned char c){    if ((c >= 32 && c <= 126) || (c >= 160 && !in_utf(term))) {	c_write(&c, 1);    } else if (c < 128) {	char cc[2];	cc[1] = (c == 127 ? '?' : c + 0x40);	cc[0] = '^';	c_write(cc, 2);    } else {	char cc[5];	sprintf(cc, "<%02X>", c);	c_write(cc, 4);    }}