flush_files
void flush_files(FILE *, int);
flush_files(fo, 0); /* flush fo, all registered files, and stdout */