def cr.vm.qr
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
290def cr.vm.qr(+x2: U32, +x1: U32, +x0: U32) -> CrVmQr:
291 +d = cr.vm.w(4294967295)
292 +r2 = W.W64.mod(cr.vm.w(x2), d)
293 +c1 = cr.vm.digit(r2, x1)
294 +r1 = W.W64.mod(c1, d)
295 +c0 = cr.vm.digit(r1, x0)
296 CrVmQr{W.W64.lo(W.W64.div(c1, d)), W.W64.lo(W.W64.div(c0, d)), W.W64.lo(W.W64.mod(c0, d))}