def t32.r.fin

import bend-osdev-crc@0.1.0.0/table.bend as Table

import Base

30def t32.r.fin(r: Array<U32> & U32, +c: U32) -> Array<U32> & U32:
31  (t, v) = r
32  (t, U32.xor(U32.shrn(c, 8n), v))

Uses (6)