def t64.n.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
121def t64.n.raw(xs: List<&2, U32>, r: Array<W.W64> & W.W64) -> Array<W.W64> & W.W64:
122 match xs:
123 case Nil{}:
124 r
125 case Con{h, t}:
126 (tab, +c) = r
127 t64.n.raw(t, t64.n.fin(Array.get(W.W64, tab, U32.and(U32.xor(U32.shrn(W.W64.hi(c), 24n), h), 255)), c))