def cr.vm.w64le
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
100def cr.vm.w64le(+xs: List<&2, U32>, +i: Nat) -> W.W64:
101 W.W64.from_parts(cr.vm.u32le(xs, Nat.add(i, 4n)), cr.vm.u32le(xs, i))