def sp.sbox
import bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend as Serpentimport Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
84# the S-box (inv False) or its inverse (inv True) at v
85def sp.sbox(b: LcSpBox, inv: Bool, v: U32) -> U32:
86 L.lc.at(sp.pick(inv, b), U32.to_nat(v))