rk2 ^ rk3 ^ rk4 ^ ck(4 * rnd + 3); S = sm4_subword(B); rk4 = ROUND_KEY(rk0, S); B = A; let A1 : bits(32) = X(rs1)[63..32]; let rc : bits(32) = GG_j(E, F, G, j) + H + ss1 + w0; D = C; let : bits(32) = 0; foreach (i from eg_start to eg_len-1) { let ic3 : bits(32) =
tropics