#include <__cross_studio_io.h>
int debug_fclose(DEBUG_FILE *stream);
debug_fclose flushes any buffered output to stream and then closes the stream.
debug_fclose returns 0 on success and EOF if there was an error.
debug_fclose is an extension provided by CrossWorks C.