void USBPutString(char *s) { while(*s) USBPutChar(*s++); }
static int usb_putchar(char c, FILE *stream) { USBPutChar(c); return 0; }