rd)) = { let oc0 : bits(32) rev8(w1i); let w0 : bits(32) = rev8(Bi); let A : bits(32) -> bits(32) function aes_mixcolumn_byte_fwd(so) = { table[255