Constant DEBUG_TYPE_MARKER 

pub const DEBUG_TYPE_MARKER: u32 = 0x8268;