def sip.round
import bend-kit-hash@0.3.0.2/hash.bend as Hashimport Base
601def sip.round(s: S4) -> S4:
602 S4{v0, +v1, v2, +v3} = s
603 +a0 = W64.add(v0, v1)
604 +b1 = W64.xor(W64.rotl(13n, 19n, v1), a0)
605 +a2 = W64.add(v2, v3)
606 +b3 = W64.xor(W64.rotl(16n, 16n, v3), a2)
607 +c0 = W64.add(W64.swap(a0), b3)
608 +c2 = W64.add(a2, b1)
609 S4{c0, W64.xor(W64.rotl(17n, 15n, b1), c2), W64.swap(c2), W64.xor(W64.rotl(21n, 11n, b3), c0)}