Function sbi_debug_console_write_byte 

pub fn sbi_debug_console_write_byte(c: char)