int debug_fflush(DEBUG_FILE *stream);
debug_fflush flushes any buffered output of the stream.
debug_fflush returns 0 on success or -1 if there was an error.