Macro rust_aes_proofs::aes128_encode4_last

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