#include <__cross_studio_io.h>
int debug_fwrite(void *ptr, int size, int nobj, DEBUG_FILE *stream);
debug_fwrite writes from the array pointed to by ptr, nobj objects of size size on stream and returns the number of objects written. debug_feof and debug_ferror can be used to determine status.
debug_fwrite is an extension provided by CrossWorks C.