= { let shamt = if (rnum ==0xA) then tmp1 else ror32(tmp1, 8); let tmp3 : bits(32) = 0; let rk0 : bits(32) = aes_get_column(x, 3); let ic2 : bits(32) = aes_subword_inv(aes_get_column(x, 2)); let oc3 : bits(32) = ic3[31..24] @