def sp.pad
import bend-osdev-legacy-ciphers@0.1.0.0/serpent.bend as Serpentimport Base
368# the key bytes padded to 256 bits: a 1 bit after the key, then zeros
369def sp.pad(+xs: List<&2, U32>, +n: Nat) -> List<&2, U32>:
370 sp.pad.pick(Nat.is_lt(n, 32n), xs, n)