def Gf8.xtime
import bend-osdev-gf@0.1.1.0/gf.bend as Gfimport Base
132# a times x (FIPS 197's xtime)
133def Gf8.xtime(f: Gf8Field, a: U32) -> U32:
134 match f:
135 case Gf8Field{poly, gen}:
136 Gf8Bits.to(Gf8Bits.x(Gf8Bits.of(a), Gf8Bits.of(poly)))