#include <__cross_studio_io.h>
int debug_fputc(int c, DEBUG_FILE *stream);
debug_fputc writes the character c to the stream stream.
debug_fputc returns the character written. If a write error occurs, debug_fputc returns EOF.
debug_fputc is an extension provided by CrossWorks C.