def hs.md4.step
import bend-osdev-hashes@0.1.0.0/md4.bend as Md4import Base
import bend-osdev-hashes@0.1.0.0/hashes.bend as Hs
25# one step: (a + f + X[k] + K) <<< s
26def hs.md4.step(a: U32, f: U32, x: U32, k: U32, +s: Nat) -> U32:
27 Hs.hs.rotl(U32.add(U32.add(a, f), U32.add(x, k)), s)