def AdAuthenc.input_kernel
import bend-osdev-aead@0.1.0.0/authenc.bend as Authencimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
40def AdAuthenc.input_kernel(aad: B.Octets, iv: B.Octets, c: B.Octets) -> B.Octets:
41 B.Octets.append(aad, c)