Cast5.cast.x: def of bend-osdev-cast5@0.1.0.0
Import: import bend-osdev-cast5@0.1.0.0/cast5.bend as Cast5
Lines 404-409 of bend-osdev-cast5@0.1.0.0/cast5.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-cast5@0.1.0.0/cast5.bend&start_line=404&end_line=409

import Base
import bend-osdev-bytes@0.1.1.0/bytes.bend as B

# x from z (the four lines x0x1x2x3 = ...)
def cast.x(+t: LcCastKTabs, +z: List<&2, U32>) -> List<&2, U32>:
  +x0 = cast.bytes(cast.mix(t, cast.w(z, 8n), z, 5n, 7n, 4n, 6n, z, 7n, 0n), Nil{})
  +x1 = B.append(x0, cast.bytes(cast.mix(t, cast.w(z, 0n), x0, 0n, 2n, 1n, 3n, z, 8n, 2n), Nil{}))
  +x2 = B.append(x1, cast.bytes(cast.mix(t, cast.w(z, 4n), x1, 7n, 6n, 5n, 4n, z, 5n, 1n), Nil{}))
  B.append(x2, cast.bytes(cast.mix(t, cast.w(z, 12n), x2, 10n, 9n, 11n, 8n, z, 6n, 3n), Nil{}))

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-bytes@0.1.1.1/bytes.bend&name=append
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cast5@0.1.0.0/cast5.bend&name=LcCastKTabs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cast5@0.1.0.0/cast5.bend&name=cast.bytes
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cast5@0.1.0.0/cast5.bend&name=cast.mix
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-cast5@0.1.0.0/cast5.bend&name=cast.w