Macro ub_assert 

macro_rules! ub_assert {
    ($($(($($def:ident = $val:expr,)*) => $result:block)+, $msg:literal)+) => { ... };
}

Aborts the program if the conditions are not met.

These should not be relied on for safety, and are only inserted in code at certain times.