def le64
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
143def le64(+v: W.W64) -> List<&2, U32>:
144 append(le32(W.W64.lo(v)), le32(W.W64.hi(v)))
import bend-osdev-bytes@0.1.1.0/bytes.bend as Bytesimport Base
import bend-osdev-word64@0.1.1.0/word64.bend as W
143def le64(+v: W.W64) -> List<&2, U32>:
144 append(le32(W.W64.lo(v)), le32(W.W64.hi(v)))