- while (len--) {
- int new_head = (inbuf_head + 1) & INBUF_MASK;
- int c = (unsigned char) *buf;
- if (new_head != inbuf_reap) {
- inbuf[inbuf_head] = *buf++;
- inbuf_head = new_head;
- }
- }
+ from_backend(0, buf, len);
+}
+
+static void c_write1 (char c) {
+ c_write(&c, 1);