def cr.vm.u
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
47def cr.vm.u(+lo: W.W64) -> CrU128:
48 CrU128{W.W64.zero(), lo}
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
47def cr.vm.u(+lo: W.W64) -> CrU128:
48 CrU128{W.W64.zero(), lo}