def cast.bytes
import bend-osdev-legacy-ciphers@0.1.0.0/cast5.bend as Cast5import Base
import bend-osdev-legacy-ciphers@0.1.0.0/legacy_ciphers.bend as L
386# a word's four bytes, most significant first, in front of rest
387def cast.bytes(+w: U32, rest: List<&2, U32>) -> List<&2, U32>:
388 Con{L.lc.byte(w, 3n), Con{L.lc.byte(w, 2n), Con{L.lc.byte(w, 1n), Con{L.lc.byte(w, 0n), rest}}}}