def t64.r.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
105def t64.r.fin(r: Array<W.W64> & W.W64, +c: W.W64) -> Array<W.W64> & W.W64:
106 (t, v) = r
107 (t, W.W64.xor(W.W64.shr(c, 8n), v))