def ad.ae.c1
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
54def ad.ae.c1() -> R.AdBlk:
55 R.AdBlk{3678214229, 1841442801, 537997634, 1941252317}
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
54def ad.ae.c1() -> R.AdBlk:
55 R.AdBlk{3678214229, 1841442801, 537997634, 1941252317}