proc_flushstdio
(void) proc_flushstdio();
(void) proc_flushstdio();
(void) proc_flushstdio();
(void) proc_flushstdio();
(void) proc_flushstdio();
(void) proc_flushstdio();
extern int proc_flushstdio(void);
if (proc_flushstdio() != 0)