Constant DEBUG_OUTPUT_SYNCHRONOUS 

pub const DEBUG_OUTPUT_SYNCHRONOUS: u32 = 0x8242;