Macro assert_invariant 

macro_rules! assert_invariant {
    ($cond:expr, $msg:expr) => { ... };
    ($cond:expr, $msg:expr, $ctx:expr) => { ... };
}