13 int copy_stream_to_stream(FILE * input, FILE * output);
14 int copy_stream_to_buffer(FILE * input,
char **buffer);
15 int copy_stream_to_fd(FILE * input,
int fd);
16 int copy_fd_to_stream(
int fd, FILE * output);
17 void copy_fd_pair(
int leftin,
int leftout,
int rightin,
int rightout);