void ITM_send_word(int n, unsigned w);
ITM_send_word sends the word w to the ITM channel n.
n is the ITM channel number from 0 to 31.