Macro reversion 

macro_rules! reversion {
    ($arg:ident, $inner:ident, $extra:ident, $body:block) => { ... };
}