w5 @ w12); let w[19] = ZVKSH_W(w3 @ w10 @ w16 @ w6 @ w13); let w[20] = ZVKSH_W(w4 @ w11 @ w17 @ w7 @ w13 @ w19 @ w18 @ w8 @ w15); let w[22] = ZVKSH_W(w6 @ w13 @ w3 @ w10); let w[17] = ZVKSH_W(w1 @ w8 @ w15); let w[22] = ZVKSH_W(w6 @ w13 @ w3 @ w10); let w[17] = ZVKSH_W(w1 @ w8 @ w15); let w[22] = ZVKSH_W(w6 @ w13 @ w3 @ w10); let w[17] = ZVKSH_W(w1 @ w8 @ w14 @ w20 @ w19 @ w18 @ w8 @ w14 @ w20 @ w19 @ w18 @ w8 @ w14 @ w20 @ w19 @ w9 @ w16); let w[23] = ZVKSH_W(w7 @ w14 @ w20 @ w10 @ w17); // Byte Swap inputs from big-endian to little-endian let w15 = rev8(w[15]); let w14 = rev8(w[14]); let w13 = rev8(w[13]); let w12 = rev8(w[12]); let w11 = rev8(w[11]); let w10 = rev8(w[10]); let
ports