Hash.sip.round: def of bend-kit-hash@0.3.0.2
Import: import bend-kit-hash@0.3.0.2/hash.bend as Hash
Lines 601-609 of bend-kit-hash@0.3.0.2/hash.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-hash@0.3.0.2/hash.bend&start_line=601&end_line=609

import Base

def sip.round(s: S4) -> S4:
  S4{v0, +v1, v2, +v3} = s
  +a0 = W64.add(v0, v1)
  +b1 = W64.xor(W64.rotl(13n, 19n, v1), a0)
  +a2 = W64.add(v2, v3)
  +b3 = W64.xor(W64.rotl(16n, 16n, v3), a2)
  +c0 = W64.add(W64.swap(a0), b3)
  +c2 = W64.add(a2, b1)
  S4{c0, W64.xor(W64.rotl(17n, 15n, b1), c2), W64.swap(c2), W64.xor(W64.rotl(21n, 11n, b3), c0)}

Uses (5):
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=S4
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=W64.add
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=W64.rotl
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=W64.swap
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=W64.xor