Macro invariant 

macro_rules! invariant {
    ($e:expr) => { ... };
}