Macro rust_aes_proofs::compare_eq4

macro_rules! compare_eq4 {
    ($what:expr, $with:expr) => { ... };
}