char cc = (char)c; c_write(&cc, 1);
c_write1(c);
static void pwrite(unsigned char c) {    if ((c >= 32 && c <= 126) ||        (c >= 160)) {        char cc = (char)c;        c_write(&cc, 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);    }}