def aes_mix_column.first
import qasim-bend-kit@0.1.0.2/libs/AES256GCMCore.bend as AES256GCMCoreimport Base
175def aes_mix_column.first(col: AesColumn) -> U32:
176 match col:
177 case AesColumn{+a, +b, +c, +d}:
178 U32.xor(U32.xor(U32.xor(gf8_mul(a, 2), gf8_mul(b, 3)), c), d)