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