def cr.vm.p64

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

256def cr.vm.p64() -> W.W64:
257  W.W64.from_parts(4294967295, 4294967039)

Uses (2)