pub const DEBUG_TYPE_UNDEFINED_BEHAVIOR: u32 = 0x824E;