Hash.x32.lane: def of bend-kit-hash@0.3.0.2
Import: import bend-kit-hash@0.3.0.2/hash.bend as Hash
Lines 457-461 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=457&end_line=461

import Base

# The four accumulators take lanes in turn: v1 eats this word and moves to the back.
def x32.lane(v: V4, +w: U32) -> V4:
  match v:
    case V4{a, b, c, d}:
      V4{b, c, d, x32.round(a, w)}

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=V4
  https://jend.leeeet.dev/definition.txt?path=bend-kit-hash@0.3.0.2/hash.bend&name=x32.round