Vmac.cr.vm.qr: def of bend-osdev-crypto@0.1.0.0
Import: import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmac
Lines 290-296 of bend-osdev-crypto@0.1.0.0/vmac.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&start_line=290&end_line=296

import Base
import bend-osdev-word64@0.1.0.0/word64.bend as W

def cr.vm.qr(+x2: U32, +x1: U32, +x0: U32) -> CrVmQr:
  +d = cr.vm.w(4294967295)
  +r2 = W.W64.mod(cr.vm.w(x2), d)
  +c1 = cr.vm.digit(r2, x1)
  +r1 = W.W64.mod(c1, d)
  +c0 = cr.vm.digit(r1, x0)
  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))}

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&name=CrVmQr
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&name=cr.vm.digit
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-crypto@0.1.0.0/vmac.bend&name=cr.vm.w
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.div
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.lo
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-word64@0.1.1.0/word64.bend&name=W64.mod