def t32.snd
import bend-osdev-crc@0.1.0.0/table.bend as Tableimport Base
56def t32.snd(r: Array<U32> & U32) -> U32:
57 (t, v) = r
58 v
import bend-osdev-crc@0.1.0.0/table.bend as Tableimport Base
56def t32.snd(r: Array<U32> & U32) -> U32:
57 (t, v) = r
58 v