Macro rust_aes_proofs::aes128_load

macro_rules! aes128_load {
    ($var:expr) => { ... };
}