pub const DEBUG_TYPE_UNDEFINED_BEHAVIOR: c_uint = 0x824E;