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