macro_rules! ensure_eq {
    ($v1:expr, $v2:expr) => { ... };
}