def au.mac
import bend-osdev-aead@0.1.0.0/check.bend as Checkimport Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B
import bend-osdev-crypto@0.1.0.0/inst_sha2.bend as SH
import bend-osdev-crypto@0.1.0.0/hmac.bend as Hm
111def au.mac(k: Hm.CrHmacKey, m: B.Octets) -> B.Octets:
112 Hm.CrHmac.mac(~SH.CrSha2.sha256, k, m)