Constant DEBUG_OUTPUT_SYNCHRONOUS 

pub const DEBUG_OUTPUT_SYNCHRONOUS: c_uint = 0x8242;