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