trace_flush
static void trace_flush(TFILE *, int);
trace_flush(tracetfile, 1);
trace_flush(tracetfile, 0);
trace_flush(tracetfile, 0);
trace_flush(fp, 0);
trace_flush(fp, 0);
trace_flush(fp, 1);
extern void trace_flush(void);
trace_flush();
trace_flush();
trace_flush();
trace_flush();