def cr.vm.bytes64
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-word64@0.1.0.0/word64.bend as W
118def cr.vm.bytes64(+w: W.W64) -> List<&2, U32>:
119 B.append(B.be32(W.W64.hi(w)), B.be32(W.W64.lo(w)))