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
)