#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 be s which is null terminated.
debug_fgets returns the number of characters read on success EOF on error. .
debug_fgets is an extension provided by CrossWorks C.