def t64.n.fin
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
117def t64.n.fin(r: Array<W.W64> & W.W64, +c: W.W64) -> Array<W.W64> & W.W64:
118 (t, v) = r
119 (t, W.W64.xor(W.W64.shl(c, 8n), v))