unsigned(shamt)); let result: bits(32) = 0; let rk2 : bits(32) = ic0[31..24] @ ic3[23..16] @ ic2[15.. 8] @ ic2[ 7.. 0]; let oc3 : bits(32) -> bits(32) function aes_mixcolumn_fwd(x) = { let oc0 : bits(32) = 0;