void ITM_send_byte(int n, unsigned char b);
ITM_send_byte sends the byte b to the ITM channel n.
n is the ITM channel number from 0 to 31.