Macro rust_aes_proofs::aes128_load4

macro_rules! aes128_load4 {
    ($var0:expr, $var1:expr, $var2:expr, $var3:expr) => { ... };
    ($var:expr) => { ... };
}