def be32
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
140def be32(v: U32) -> List<&2, U32>:
141 be32.rev(le32(v))
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
140def be32(v: U32) -> List<&2, U32>:
141 be32.rev(le32(v))