Macro rust_aes_proofs::aes128_store4

macro_rules! aes128_store4 {
    ($to:expr, $from:expr) => { ... };
}