on. Operation function clause execute (SHA512SIG0L(rs2, rs1, rd)) = { let ic3 : bits(32) = aes_subword_fwd(aes_get_column(x, 2)); let oc3 : bits(32) -> bits(32) function aes_subword_fwd(x) = { result : xlenbits = 0; let x0