macro_rules! assert_invariant {
    ($cond:expr, $($args:expr),* $(,)?) => { ... };
}