def cr.vm.u128.of
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
341def cr.vm.u128.of(+xs: List<&2, U32>) -> CrU128:
342 CrU128{cr.vm.w64be(xs, 0n), cr.vm.w64be(xs, 8n)}
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
341def cr.vm.u128.of(+xs: List<&2, U32>) -> CrU128:
342 CrU128{cr.vm.w64be(xs, 0n), cr.vm.w64be(xs, 8n)}