def cr.vm.w

import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

57def cr.vm.w(+a: U32) -> W.W64:
58  W.W64.from_u32(a)

Uses (3)