void dumpfile (int fd);