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.