Macro invariant

macro_rules! invariant {
    ($($arg:tt)*) => { ... };
}

Native assertions cannot be disabled, that’s why why prefer to use this macro.