Macro assert_invariant 

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