Macro zipora_verify_ez 

macro_rules! zipora_verify_ez {
    ($x:expr) => { ... };
}

Zero verification - common pattern