def cast.bytes
import bend-osdev-cast5@0.1.0.0/cast5.bend as Cast5import Base
import bend-osdev-cipher-core@0.1.0.0/cipher_core.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}}}}