def cr.vm.sub64.pick
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
265def cr.vm.sub64.pick(ge: Bool, +x: W.W64) -> W.W64:
266 match ge:
267 case True{}:
268 W.W64.sub(x, cr.vm.p64())
269 case False{}:
270 x