type CrVmIter
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
311# one VHASH word's keys: the NH key words, the poly key, the L3 pair
312type CrVmIter is Data:
313 CrVmIter{nh: List<&2, W.W64>, poly: CrU128, k1: W.W64, k2: W.W64}