def ad.ae.init
import bend-osdev-aead@0.1.0.0/aegis128.bend as Aegis128import Base
import bend-osdev-aead@0.1.0.0/aesround.bend as R
64def ad.ae.init(+sb: R.AdSbox, +k: R.AdBlk, +iv: R.AdBlk) -> AdAegisSt:
65 +kiv = R.AdBlk.xor(k, iv)
66 ad.ae.init.go(5n, sb, k, kiv, AdAegisSt{kiv, ad.ae.c1(), ad.ae.c0(), R.AdBlk.xor(k, ad.ae.c0()), R.AdBlk.xor(k, ad.ae.c1())})