int debug_fwrite(void *ptr, int size, int nobj, DEBUG_FILE *stream);
debug_fwrite write to the output stream from the array ptr at most nobj objects of size size.
debug_fwrite returns the number of objects written. If this number is different from nobj then debug_feof and debug_ferror can be used to determine status.