def aes.c14

import bend-osdev-aes@0.1.0.0/aes.bend as Aes

import Base

119def aes.c14(+b: U32) -> U32:
120  +b2 = aes.xt(b)
121  +b4 = aes.xt(b2)
122  U32.xor(U32.xor(aes.xt(b4), b4), b2)

Uses (3)