file_flush
file_flush(ofd, fnm, isem);
file_flush(fd2, fnm, isem);
void file_flush(int, char *, int);
file_flush(to_fd, isem);
void file_flush(int, int);