Constant DEBUG_TYPE_OTHER_KHR 

pub const DEBUG_TYPE_OTHER_KHR: c_uint = 0x8251;