00001 #include <stdio.h> 00002 void f77flush_() { 00003 fflush(stdout); 00004 fflush(stderr); 00005 }