def mul3_word
import bend-collections@1.0.0.0/src/crypto/aes/sbox.bend as Sboximport Base
155# {03} * x = {02} * x + x.
156def mul3_word(+x: U32) -> U32:
157 U32.xor(xtime(x), U32.and(255, x))
import bend-collections@1.0.0.0/src/crypto/aes/sbox.bend as Sboximport Base
155# {03} * x = {02} * x + x.
156def mul3_word(+x: U32) -> U32:
157 U32.xor(xtime(x), U32.and(255, x))