def cast.half
import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
433def cast.half(+t: LcCastKTabs, +x: List<&2, U32>) -> LcCastHalf:
434 +z1 = cast.z(t, x)
435 +x1 = cast.x(t, z1)
436 +z2 = cast.z(t, x1)
437 +x2 = cast.x(t, z2)
438 LcCastHalf{B.append(cast.set1(t, z1), B.append(cast.set2(t, x1), B.append(cast.set3(t, z2), cast.set4(t, x2)))), x2}