Macro ensure

macro_rules! ensure {
    ( $x:expr, $y:expr ) => { ... };
}