macro_rules! iprint { ($channel:expr, $s:expr) => { ... }; ($channel:expr, $($arg:tt)*) => { ... }; }
Macro for sending a formatted string through an ITM channel