AES_CMAC_DIGEST_LENGTH
AES_CMAC_Final(u_int8_t digest[AES_CMAC_DIGEST_LENGTH], AES_CMAC_CTX *ctx)
void AES_CMAC_Final(u_int8_t [AES_CMAC_DIGEST_LENGTH], AES_CMAC_CTX *)
__attribute__((__bounded__(__minbytes__,1,AES_CMAC_DIGEST_LENGTH)));
u_int8_t *mmie, mic0[8], mic[AES_CMAC_DIGEST_LENGTH];
u_int8_t *mmie, mic[AES_CMAC_DIGEST_LENGTH];