Constant DEBUG_TYPE_OTHER 

pub const DEBUG_TYPE_OTHER: u32 = 0x8251;