def cr.vm.mod126
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
158def cr.vm.mod126(x: CrU128) -> CrU128:
159 match x:
160 case CrU128{h, l}:
161 CrU128{W.W64.and(h, W.W64.from_parts(1073741823, 4294967295)), l}