pub const DEBUG_TYPE_MARKER_KHR: c_uint = 0x8268;