def cr.vm.mm2
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
211def cr.vm.mm2(b: CrU128, +x1: W.W64, +x0: W.W64) -> CrU128:
212 match b:
213 case CrU128{x3, x2}:
214 cr.vm.mm3(x3, x2, x1, x0)