- * struct stdin_buffer {
- * struct io_conn *reader, *writer;
- * size_t len;
- * char inbuf[4096];
- * };
- *
- * // This reads from stdin.
- * static struct io_op *wake_writer(struct io_conn *, struct stdin_buffer *);
- * // This writes the stdin buffer to the child.
- * static struct io_op *write_to_child(struct io_conn *c,
- * struct stdin_buffer *b);
- * static struct io_op *read_stdin(struct io_conn *c, struct stdin_buffer *b)