def aes.c13
import bend-osdev-aes@0.1.0.0/aes.bend as Aesimport Base
115def aes.c13(+b: U32) -> U32:
116 +b4 = aes.xt(aes.xt(b))
117 U32.xor(U32.xor(aes.xt(b4), b4), b)
import bend-osdev-aes@0.1.0.0/aes.bend as Aesimport Base
115def aes.c13(+b: U32) -> U32:
116 +b4 = aes.xt(aes.xt(b))
117 U32.xor(U32.xor(aes.xt(b4), b4), b)