def bits64.word
import bend-osdev-algo@0.1.0.0/algo.bend as Algoimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
166def bits64.word(+a: W.W64) -> Word(64n):
167 W.W64.bits.cat(32n, 32n, bits32.word(W.W64.lo(a)), bits32.word(W.W64.hi(a)))