void ITM_send_half_word(int n, unsigned short s);
ITM_send_half_word sends the half word s to the ITM channel n.
n is the ITM channel number from 0 to 31.