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