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