#[macro_export]
macro_rules! invariant {
    ($expr: expr) => {
        debug_assert!($expr);
        if !($expr) {
            #[allow(unused_unsafe)]
            unsafe {
                core::hint::unreachable_unchecked()
            };
        }
    };
}