What is used for
struct __FILE { int handle; /* Add whatever you need here */ };FILE __stdout;FILE __stdin;
int fputc(int ch, FILE *f) {return (ITM_SendChar(ch));}