Constant DEBUG_TYPE_MARKER 

pub const DEBUG_TYPE_MARKER: c_uint = 0x8268;