def be64
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
146def be64(+v: W.W64) -> List<&2, U32>:
147 append(be32(W.W64.hi(v)), be32(W.W64.lo(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
146def be64(+v: W.W64) -> List<&2, U32>:
147 append(be32(W.W64.hi(v)), be32(W.W64.lo(v)))