pub const DEBUG_TYPE_UNDEFINED_BEHAVIOR_KHR: c_uint = 0x824E;