#include <cross_studio_io.h> char *debug_fgets(char *s, int n DEBUG_FILE *stream);
debug_fgets reads at most n–1 characters from stream into the array pointed to by s.
debug_fgets returns s on success, or 0 on error or end of file.
debug_fgets is an extension provided by CrossWorks C.