Cast5.cast.sub: def of bend-osdev-legacy-ciphers@0.1.0.0
Import: import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5
Lines 411-413 of bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&start_line=411&end_line=413

import Base

# a subkey: S5[a] ^ S6[b] ^ S7[c] ^ S8[d] ^ Sj[e] on the bytes of v
def cast.sub(+t: LcCastKTabs, +v: List<&2, U32>, ia: Nat, ib: Nat, ic: Nat, id: Nat, j: Nat, ie: Nat) -> U32:
  U32.xor(U32.xor(U32.xor(cast.ks(t, 5n, v, ia), cast.ks(t, 6n, v, ib)), U32.xor(cast.ks(t, 7n, v, ic), cast.ks(t, 8n, v, id))), cast.ks(t, j, v, ie))

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&name=LcCastKTabs
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend&name=cast.ks