mynewt::sys::console
pub fn printint(v: i32)
Write an int to the output buffer. C API: void console_printint(int i)
void console_printint(int i)