Macro decoder_invariant 

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