pub unsafe extern "C" fn EverCrypt_HMAC_compute_blake2s( dst: *mut u8, key: *mut u8, key_len: u32, data: *mut u8, data_len: u32, )