def t64.r.raw
import bend-osdev-crc@0.1.0.0/table.bend as Tableimport Base
import bend-osdev-word64@0.1.0.0/word64.bend as W
109def t64.r.raw(xs: List<&2, U32>, r: Array<W.W64> & W.W64) -> Array<W.W64> & W.W64:
110 match xs:
111 case Nil{}:
112 r
113 case Con{h, t}:
114 (tab, +c) = r
115 t64.r.raw(t, t64.r.fin(Array.get(W.W64, tab, U32.and(U32.xor(W.W64.lo(c), h), 255)), c))