Macro rust_aes_proofs::aes128_xor4

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