Macro rust_aes_proofs::aes128_encode4

macro_rules! aes128_encode4 {
    ($target:expr, $key:expr) => { ... };
}