char *debug_fgets(char *s, int n, DEBUG_FILE *stream);
debug_fgets reads at most n-1 characters or the characters up to (and including) a newline from the input stream into the array pointed to by s. A null character is written to the array after the input characters.
debug_fgets returns s on success, or 0 on error or end of file.