type CrVmQr
import bend-osdev-crypto@0.1.0.0/vmac.bend as Vmacimport Base
285# q (the quotient's two low base-2^32 digits) and r, for (x2, x1, x0)
286# divided by 2^32 - 1, one digit at a time
287type CrVmQr is Data:
288 CrVmQr{q1: U32, q0: U32, r: U32}