sourface of this instruction (i.e., vror.vi). Operation function clause execute (AES64ESM(rs2, rs1, rd)) = { let oc0 : bits(32) = X(rs1)[31..0]; let result : bits(32) = ic3[31..24] @ ic0[23..16]