Constant DEBUG_TYPE_MARKER_KHR 

pub const DEBUG_TYPE_MARKER_KHR: u32 = 0x8268; // 33_384u32