pub unsafe extern "C" fn EverCrypt_HMAC_compute( a: Spec_Hash_Definitions_hash_alg, mac: *mut u8, key: *mut u8, keylen: u32, data: *mut u8, datalen: u32, )