Macro rust_aes_proofs::aes128_decode4

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