Aes.aes.c9: def of bend-osdev-aes@0.1.0.0
Import: import bend-osdev-aes@0.1.0.0/aes.bend as Aes
Lines 105-109 of bend-osdev-aes@0.1.0.0/aes.bend: https://jend.leeeet.dev/read.txt?path=bend-osdev-aes@0.1.0.0/aes.bend&start_line=105&end_line=109

import Base

# InvMixColumns: each column times {0e, 0b, 0d, 09}, rotated per row
# a byte times {09}, {0b}, {0d}, {0e}: x^3 + 1, x^3 + x + 1, x^3 + x^2 + 1,
# x^3 + x^2 + x, as sums of doublings
def aes.c9(+b: U32) -> U32:
  U32.xor(aes.xt(aes.xt(aes.xt(b))), b)

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.xor
  https://jend.leeeet.dev/definition.txt?path=bend-osdev-aes@0.1.0.0/aes.bend&name=aes.xt