#include <stdio.h>

void dumpfile (int fd) {
   int ch;

   while (read (fd, &ch, 1))
      write (1, &ch, 1);	/* note that fd 1 is always stdout */
   }