]> git.lizzy.rs Git - rust.git/blob - src/tools/tidy/src/deps.rs
Auto merge of #104658 - thomcc:rand-update-and-usable-no_std, r=Mark-Simulacrum
[rust.git] / src / tools / tidy / src / deps.rs
1 //! Checks the licenses of third-party dependencies.
2
3 use cargo_metadata::{Metadata, Package, PackageId, Resolve};
4 use std::collections::{BTreeSet, HashSet};
5 use std::path::Path;
6
7 /// These are licenses that are allowed for all crates, including the runtime,
8 /// rustc, tools, etc.
9 const LICENSES: &[&str] = &[
10     "MIT/Apache-2.0",
11     "MIT / Apache-2.0",
12     "Apache-2.0/MIT",
13     "Apache-2.0 / MIT",
14     "MIT OR Apache-2.0",
15     "Apache-2.0 OR MIT",
16     "Apache-2.0 WITH LLVM-exception OR Apache-2.0 OR MIT", // wasi license
17     "MIT",
18     "ISC",
19     "Unlicense/MIT",
20     "Unlicense OR MIT",
21     "0BSD OR MIT OR Apache-2.0",                // adler license
22     "Zlib OR Apache-2.0 OR MIT",                // tinyvec
23     "MIT OR Apache-2.0 OR Zlib",                // tinyvec_macros
24     "MIT OR Zlib OR Apache-2.0",                // miniz_oxide
25     "(MIT OR Apache-2.0) AND Unicode-DFS-2016", // unicode_ident
26     "Unicode-DFS-2016",                         // tinystr and icu4x
27 ];
28
29 /// These are exceptions to Rust's permissive licensing policy, and
30 /// should be considered bugs. Exceptions are only allowed in Rust
31 /// tooling. It is _crucial_ that no exception crates be dependencies
32 /// of the Rust runtime (std/test).
33 const EXCEPTIONS: &[(&str, &str)] = &[
34     ("ar_archive_writer", "Apache-2.0 WITH LLVM-exception"), // rustc
35     ("mdbook", "MPL-2.0"),                                   // mdbook
36     ("openssl", "Apache-2.0"),                               // cargo, mdbook
37     ("colored", "MPL-2.0"),                                  // rustfmt
38     ("ryu", "Apache-2.0 OR BSL-1.0"),                        // cargo/... (because of serde)
39     ("bytesize", "Apache-2.0"),                              // cargo
40     ("im-rc", "MPL-2.0+"),                                   // cargo
41     ("sized-chunks", "MPL-2.0+"),                            // cargo via im-rc
42     ("bitmaps", "MPL-2.0+"),                                 // cargo via im-rc
43     ("fiat-crypto", "MIT OR Apache-2.0 OR BSD-1-Clause"),    // cargo via pasetors
44     ("subtle", "BSD-3-Clause"),                              // cargo via pasetors
45     ("instant", "BSD-3-Clause"), // rustc_driver/tracing-subscriber/parking_lot
46     ("snap", "BSD-3-Clause"),    // rustc
47     ("fluent-langneg", "Apache-2.0"), // rustc (fluent translations)
48     ("self_cell", "Apache-2.0"), // rustc (fluent translations)
49     // FIXME: this dependency violates the documentation comment above:
50     ("fortanix-sgx-abi", "MPL-2.0"), // libstd but only for `sgx` target
51     ("dunce", "CC0-1.0"),            // cargo (dev dependency)
52     ("similar", "Apache-2.0"),       // cargo (dev dependency)
53     ("normalize-line-endings", "Apache-2.0"), // cargo (dev dependency)
54     ("dissimilar", "Apache-2.0"),    // rustdoc, rustc_lexer (few tests) via expect-test, (dev deps)
55 ];
56
57 const EXCEPTIONS_CRANELIFT: &[(&str, &str)] = &[
58     ("cranelift-bforest", "Apache-2.0 WITH LLVM-exception"),
59     ("cranelift-codegen", "Apache-2.0 WITH LLVM-exception"),
60     ("cranelift-codegen-meta", "Apache-2.0 WITH LLVM-exception"),
61     ("cranelift-codegen-shared", "Apache-2.0 WITH LLVM-exception"),
62     ("cranelift-egraph", "Apache-2.0 WITH LLVM-exception"),
63     ("cranelift-entity", "Apache-2.0 WITH LLVM-exception"),
64     ("cranelift-frontend", "Apache-2.0 WITH LLVM-exception"),
65     ("cranelift-isle", "Apache-2.0 WITH LLVM-exception"),
66     ("cranelift-jit", "Apache-2.0 WITH LLVM-exception"),
67     ("cranelift-module", "Apache-2.0 WITH LLVM-exception"),
68     ("cranelift-native", "Apache-2.0 WITH LLVM-exception"),
69     ("cranelift-object", "Apache-2.0 WITH LLVM-exception"),
70     ("mach", "BSD-2-Clause"),
71     ("regalloc2", "Apache-2.0 WITH LLVM-exception"),
72     ("target-lexicon", "Apache-2.0 WITH LLVM-exception"),
73     ("wasmtime-jit-icache-coherence", "Apache-2.0 WITH LLVM-exception"),
74 ];
75
76 const EXCEPTIONS_BOOTSTRAP: &[(&str, &str)] = &[
77     ("ryu", "Apache-2.0 OR BSL-1.0"), // through serde
78 ];
79
80 /// These are the root crates that are part of the runtime. The licenses for
81 /// these and all their dependencies *must not* be in the exception list.
82 const RUNTIME_CRATES: &[&str] = &["std", "core", "alloc", "test", "panic_abort", "panic_unwind"];
83
84 /// Crates rustc is allowed to depend on. Avoid adding to the list if possible.
85 ///
86 /// This list is here to provide a speed-bump to adding a new dependency to
87 /// rustc. Please check with the compiler team before adding an entry.
88 const PERMITTED_RUSTC_DEPENDENCIES: &[&str] = &[
89     "addr2line",
90     "adler",
91     "ahash",
92     "aho-corasick",
93     "annotate-snippets",
94     "ansi_term",
95     "ar_archive_writer",
96     "arrayvec",
97     "atty",
98     "autocfg",
99     "bitflags",
100     "block-buffer",
101     "bumpalo", // Included in Cargo's dep graph but only activated on wasm32-*-unknown.
102     "cc",
103     "cfg-if",
104     "chalk-derive",
105     "chalk-engine",
106     "chalk-ir",
107     "chalk-solve",
108     "chrono",
109     "convert_case", // dependency of derive_more
110     "compiler_builtins",
111     "cpufeatures",
112     "crc32fast",
113     "crossbeam-channel",
114     "crossbeam-deque",
115     "crossbeam-epoch",
116     "crossbeam-utils",
117     "crypto-common",
118     "cstr",
119     "datafrog",
120     "derive_more",
121     "digest",
122     "displaydoc",
123     "dissimilar",
124     "dlmalloc",
125     "either",
126     "ena",
127     "env_logger",
128     "expect-test",
129     "fallible-iterator", // dependency of `thorin`
130     "fastrand",
131     "filetime",
132     "fixedbitset",
133     "flate2",
134     "fluent-bundle",
135     "fluent-langneg",
136     "fluent-syntax",
137     "fortanix-sgx-abi",
138     "generic-array",
139     "getopts",
140     "getrandom",
141     "gimli",
142     "gsgdt",
143     "hashbrown",
144     "hermit-abi",
145     "humantime",
146     "icu_list",
147     "icu_locid",
148     "icu_provider",
149     "icu_provider_adapters",
150     "icu_provider_macros",
151     "if_chain",
152     "indexmap",
153     "instant",
154     "intl-memoizer",
155     "intl_pluralrules",
156     "itertools",
157     "itoa",
158     "jobserver",
159     "js-sys", // Included in Cargo's dep graph but only activated on wasm32-*-unknown.
160     "lazy_static",
161     "libc",
162     "libloading",
163     "libz-sys",
164     "litemap",
165     "lock_api",
166     "log",
167     "matchers",
168     "md-5",
169     "measureme",
170     "memchr",
171     "memmap2",
172     "memoffset",
173     "miniz_oxide",
174     "num-integer",
175     "num-traits",
176     "num_cpus",
177     "object",
178     "odht",
179     "once_cell",
180     "parking_lot",
181     "parking_lot_core",
182     "pathdiff",
183     "perf-event-open-sys",
184     "petgraph",
185     "pin-project-lite",
186     "pkg-config",
187     "polonius-engine",
188     "ppv-lite86",
189     "proc-macro-hack",
190     "proc-macro2",
191     "psm",
192     "punycode",
193     "quick-error",
194     "quote",
195     "rand",
196     "rand_chacha",
197     "rand_core",
198     "rand_xorshift",
199     "rand_xoshiro",
200     "redox_syscall",
201     "regex",
202     "regex-automata",
203     "regex-syntax",
204     "remove_dir_all",
205     "rls-data",
206     "rls-span",
207     "rustc-demangle",
208     "rustc-hash",
209     "rustc-rayon",
210     "rustc-rayon-core",
211     "rustc_version",
212     "ryu",
213     "scoped-tls",
214     "scopeguard",
215     "self_cell",
216     "semver",
217     "serde",
218     "serde_derive",
219     "serde_json",
220     "sha-1",
221     "sha2",
222     "sharded-slab",
223     "smallvec",
224     "snap",
225     "stable_deref_trait",
226     "stacker",
227     "static_assertions",
228     "subtle", // dependency of cargo (via pasetors)
229     "syn",
230     "synstructure",
231     "tempfile",
232     "termcolor",
233     "termize",
234     "thiserror",
235     "thiserror-impl",
236     "thorin-dwp",
237     "thread_local",
238     "time",
239     "tinystr",
240     "tinyvec",
241     "tinyvec_macros",
242     "thin-vec",
243     "tracing",
244     "tracing-attributes",
245     "tracing-core",
246     "tracing-log",
247     "tracing-subscriber",
248     "tracing-tree",
249     "twox-hash",
250     "type-map",
251     "typenum",
252     "unic-char-property",
253     "unic-char-range",
254     "unic-common",
255     "unic-emoji-char",
256     "unic-langid",
257     "unic-langid-impl",
258     "unic-langid-macros",
259     "unic-langid-macros-impl",
260     "unic-ucd-version",
261     "unicode-ident",
262     "unicode-normalization",
263     "unicode-script",
264     "unicode-security",
265     "unicode-width",
266     "unicode-xid",
267     "vcpkg",
268     "valuable",
269     "version_check",
270     "wasi",
271     // vvv Included in Cargo's dep graph but only activated on wasm32-*-unknown.
272     "wasm-bindgen",
273     "wasm-bindgen-backend",
274     "wasm-bindgen-macro",
275     "wasm-bindgen-macro-support",
276     "wasm-bindgen-shared",
277     // ^^^ Included in Cargo's dep graph but only activated on wasm32-*-unknown.
278     "winapi",
279     "winapi-i686-pc-windows-gnu",
280     "winapi-util",
281     "winapi-x86_64-pc-windows-gnu",
282     "writeable",
283     // this is a false-positive: it's only used by rustfmt, but because it's enabled through a
284     // feature, tidy thinks it's used by rustc as well.
285     "yansi-term",
286     "yoke",
287     "yoke-derive",
288     "zerofrom",
289     "zerofrom-derive",
290     "zerovec",
291     "zerovec-derive",
292 ];
293
294 const PERMITTED_CRANELIFT_DEPENDENCIES: &[&str] = &[
295     "ahash",
296     "anyhow",
297     "arrayvec",
298     "autocfg",
299     "bumpalo",
300     "bitflags",
301     "byteorder",
302     "cfg-if",
303     "cranelift-bforest",
304     "cranelift-codegen",
305     "cranelift-codegen-meta",
306     "cranelift-codegen-shared",
307     "cranelift-egraph",
308     "cranelift-entity",
309     "cranelift-frontend",
310     "cranelift-isle",
311     "cranelift-jit",
312     "cranelift-module",
313     "cranelift-native",
314     "cranelift-object",
315     "crc32fast",
316     "fallible-iterator",
317     "fxhash",
318     "getrandom",
319     "gimli",
320     "hashbrown",
321     "indexmap",
322     "libc",
323     "libloading",
324     "log",
325     "mach",
326     "memchr",
327     "object",
328     "once_cell",
329     "regalloc2",
330     "region",
331     "slice-group-by",
332     "smallvec",
333     "stable_deref_trait",
334     "target-lexicon",
335     "version_check",
336     "wasi",
337     "wasmtime-jit-icache-coherence",
338     "winapi",
339     "winapi-i686-pc-windows-gnu",
340     "winapi-x86_64-pc-windows-gnu",
341     "windows-sys",
342     "windows_aarch64_msvc",
343     "windows_i686_gnu",
344     "windows_i686_msvc",
345     "windows_x86_64_gnu",
346     "windows_x86_64_msvc",
347 ];
348
349 const FORBIDDEN_TO_HAVE_DUPLICATES: &[&str] = &[
350     // This crate takes quite a long time to build, so don't allow two versions of them
351     // to accidentally sneak into our dependency graph, in order to ensure we keep our CI times
352     // under control.
353     "cargo",
354 ];
355
356 /// Dependency checks.
357 ///
358 /// `root` is path to the directory with the root `Cargo.toml` (for the workspace). `cargo` is path
359 /// to the cargo executable.
360 pub fn check(root: &Path, cargo: &Path, bad: &mut bool) {
361     let mut cmd = cargo_metadata::MetadataCommand::new();
362     cmd.cargo_path(cargo)
363         .manifest_path(root.join("Cargo.toml"))
364         .features(cargo_metadata::CargoOpt::AllFeatures);
365     let metadata = t!(cmd.exec());
366     let runtime_ids = compute_runtime_crates(&metadata);
367     check_license_exceptions(&metadata, EXCEPTIONS, runtime_ids, bad);
368     check_permitted_dependencies(
369         &metadata,
370         "rustc",
371         PERMITTED_RUSTC_DEPENDENCIES,
372         &["rustc_driver", "rustc_codegen_llvm"],
373         bad,
374     );
375     check_crate_duplicate(&metadata, FORBIDDEN_TO_HAVE_DUPLICATES, bad);
376     check_rustfix(&metadata, bad);
377
378     // Check rustc_codegen_cranelift independently as it has it's own workspace.
379     let mut cmd = cargo_metadata::MetadataCommand::new();
380     cmd.cargo_path(cargo)
381         .manifest_path(root.join("compiler/rustc_codegen_cranelift/Cargo.toml"))
382         .features(cargo_metadata::CargoOpt::AllFeatures);
383     let metadata = t!(cmd.exec());
384     let runtime_ids = HashSet::new();
385     check_license_exceptions(&metadata, EXCEPTIONS_CRANELIFT, runtime_ids, bad);
386     check_permitted_dependencies(
387         &metadata,
388         "cranelift",
389         PERMITTED_CRANELIFT_DEPENDENCIES,
390         &["rustc_codegen_cranelift"],
391         bad,
392     );
393     check_crate_duplicate(&metadata, &[], bad);
394
395     let mut cmd = cargo_metadata::MetadataCommand::new();
396     cmd.cargo_path(cargo)
397         .manifest_path(root.join("src/bootstrap/Cargo.toml"))
398         .features(cargo_metadata::CargoOpt::AllFeatures);
399     let metadata = t!(cmd.exec());
400     let runtime_ids = HashSet::new();
401     check_license_exceptions(&metadata, EXCEPTIONS_BOOTSTRAP, runtime_ids, bad);
402 }
403
404 /// Check that all licenses are in the valid list in `LICENSES`.
405 ///
406 /// Packages listed in `exceptions` are allowed for tools.
407 fn check_license_exceptions(
408     metadata: &Metadata,
409     exceptions: &[(&str, &str)],
410     runtime_ids: HashSet<&PackageId>,
411     bad: &mut bool,
412 ) {
413     // Validate the EXCEPTIONS list hasn't changed.
414     for (name, license) in exceptions {
415         // Check that the package actually exists.
416         if !metadata.packages.iter().any(|p| p.name == *name) {
417             tidy_error!(
418                 bad,
419                 "could not find exception package `{}`\n\
420                 Remove from EXCEPTIONS list if it is no longer used.",
421                 name
422             );
423         }
424         // Check that the license hasn't changed.
425         for pkg in metadata.packages.iter().filter(|p| p.name == *name) {
426             match &pkg.license {
427                 None => {
428                     tidy_error!(
429                         bad,
430                         "dependency exception `{}` does not declare a license expression",
431                         pkg.id
432                     );
433                 }
434                 Some(pkg_license) => {
435                     if pkg_license.as_str() != *license {
436                         println!("dependency exception `{name}` license has changed");
437                         println!("    previously `{license}` now `{pkg_license}`");
438                         println!("    update EXCEPTIONS for the new license");
439                         *bad = true;
440                     }
441                 }
442             }
443         }
444     }
445
446     let exception_names: Vec<_> = exceptions.iter().map(|(name, _license)| *name).collect();
447
448     // Check if any package does not have a valid license.
449     for pkg in &metadata.packages {
450         if pkg.source.is_none() {
451             // No need to check local packages.
452             continue;
453         }
454         if !runtime_ids.contains(&pkg.id) && exception_names.contains(&pkg.name.as_str()) {
455             continue;
456         }
457         let license = match &pkg.license {
458             Some(license) => license,
459             None => {
460                 tidy_error!(bad, "dependency `{}` does not define a license expression", pkg.id);
461                 continue;
462             }
463         };
464         if !LICENSES.contains(&license.as_str()) {
465             if pkg.name == "fortanix-sgx-abi" {
466                 // This is a specific exception because SGX is considered
467                 // "third party". See
468                 // https://github.com/rust-lang/rust/issues/62620 for more. In
469                 // general, these should never be added.
470                 continue;
471             }
472             tidy_error!(bad, "invalid license `{}` in `{}`", license, pkg.id);
473         }
474     }
475 }
476
477 /// Checks the dependency of `restricted_dependency_crates` at the given path. Changes `bad` to
478 /// `true` if a check failed.
479 ///
480 /// Specifically, this checks that the dependencies are on the `permitted_dependencies`.
481 fn check_permitted_dependencies(
482     metadata: &Metadata,
483     descr: &str,
484     permitted_dependencies: &[&'static str],
485     restricted_dependency_crates: &[&'static str],
486     bad: &mut bool,
487 ) {
488     // Check that the PERMITTED_DEPENDENCIES does not have unused entries.
489     for name in permitted_dependencies {
490         if !metadata.packages.iter().any(|p| p.name == *name) {
491             tidy_error!(
492                 bad,
493                 "could not find allowed package `{}`\n\
494                 Remove from PERMITTED_DEPENDENCIES list if it is no longer used.",
495                 name
496             );
497         }
498     }
499     // Get the list in a convenient form.
500     let permitted_dependencies: HashSet<_> = permitted_dependencies.iter().cloned().collect();
501
502     // Check dependencies.
503     let mut visited = BTreeSet::new();
504     let mut unapproved = BTreeSet::new();
505     for &krate in restricted_dependency_crates.iter() {
506         let pkg = pkg_from_name(metadata, krate);
507         let mut bad =
508             check_crate_dependencies(&permitted_dependencies, metadata, &mut visited, pkg);
509         unapproved.append(&mut bad);
510     }
511
512     if !unapproved.is_empty() {
513         tidy_error!(bad, "Dependencies for {} not explicitly permitted:", descr);
514         for dep in unapproved {
515             println!("* {dep}");
516         }
517     }
518 }
519
520 /// Checks the dependencies of the given crate from the given cargo metadata to see if they are on
521 /// the list of permitted dependencies. Returns a list of disallowed dependencies.
522 fn check_crate_dependencies<'a>(
523     permitted_dependencies: &'a HashSet<&'static str>,
524     metadata: &'a Metadata,
525     visited: &mut BTreeSet<&'a PackageId>,
526     krate: &'a Package,
527 ) -> BTreeSet<&'a PackageId> {
528     // This will contain bad deps.
529     let mut unapproved = BTreeSet::new();
530
531     // Check if we have already visited this crate.
532     if visited.contains(&krate.id) {
533         return unapproved;
534     }
535
536     visited.insert(&krate.id);
537
538     // If this path is in-tree, we don't require it to be explicitly permitted.
539     if krate.source.is_some() {
540         // If this dependency is not on `PERMITTED_DEPENDENCIES`, add to bad set.
541         if !permitted_dependencies.contains(krate.name.as_str()) {
542             unapproved.insert(&krate.id);
543         }
544     }
545
546     // Do a DFS in the crate graph.
547     let to_check = deps_of(metadata, &krate.id);
548
549     for dep in to_check {
550         let mut bad = check_crate_dependencies(permitted_dependencies, metadata, visited, dep);
551         unapproved.append(&mut bad);
552     }
553
554     unapproved
555 }
556
557 /// Prevents multiple versions of some expensive crates.
558 fn check_crate_duplicate(
559     metadata: &Metadata,
560     forbidden_to_have_duplicates: &[&str],
561     bad: &mut bool,
562 ) {
563     for &name in forbidden_to_have_duplicates {
564         let matches: Vec<_> = metadata.packages.iter().filter(|pkg| pkg.name == name).collect();
565         match matches.len() {
566             0 => {
567                 tidy_error!(
568                     bad,
569                     "crate `{}` is missing, update `check_crate_duplicate` \
570                     if it is no longer used",
571                     name
572                 );
573             }
574             1 => {}
575             _ => {
576                 tidy_error!(
577                     bad,
578                     "crate `{}` is duplicated in `Cargo.lock`, \
579                     it is too expensive to build multiple times, \
580                     so make sure only one version appears across all dependencies",
581                     name
582                 );
583                 for pkg in matches {
584                     println!("  * {}", pkg.id);
585                 }
586             }
587         }
588     }
589 }
590
591 /// Returns a list of dependencies for the given package.
592 fn deps_of<'a>(metadata: &'a Metadata, pkg_id: &'a PackageId) -> Vec<&'a Package> {
593     let resolve = metadata.resolve.as_ref().unwrap();
594     let node = resolve
595         .nodes
596         .iter()
597         .find(|n| &n.id == pkg_id)
598         .unwrap_or_else(|| panic!("could not find `{pkg_id}` in resolve"));
599     node.deps
600         .iter()
601         .map(|dep| {
602             metadata.packages.iter().find(|pkg| pkg.id == dep.pkg).unwrap_or_else(|| {
603                 panic!("could not find dep `{}` for pkg `{}` in resolve", dep.pkg, pkg_id)
604             })
605         })
606         .collect()
607 }
608
609 /// Finds a package with the given name.
610 fn pkg_from_name<'a>(metadata: &'a Metadata, name: &'static str) -> &'a Package {
611     let mut i = metadata.packages.iter().filter(|p| p.name == name);
612     let result =
613         i.next().unwrap_or_else(|| panic!("could not find package `{name}` in package list"));
614     assert!(i.next().is_none(), "more than one package found for `{name}`");
615     result
616 }
617
618 /// Finds all the packages that are in the rust runtime.
619 fn compute_runtime_crates<'a>(metadata: &'a Metadata) -> HashSet<&'a PackageId> {
620     let resolve = metadata.resolve.as_ref().unwrap();
621     let mut result = HashSet::new();
622     for name in RUNTIME_CRATES {
623         let id = &pkg_from_name(metadata, name).id;
624         normal_deps_of_r(resolve, id, &mut result);
625     }
626     result
627 }
628
629 /// Recursively find all normal dependencies.
630 fn normal_deps_of_r<'a>(
631     resolve: &'a Resolve,
632     pkg_id: &'a PackageId,
633     result: &mut HashSet<&'a PackageId>,
634 ) {
635     if !result.insert(pkg_id) {
636         return;
637     }
638     let node = resolve
639         .nodes
640         .iter()
641         .find(|n| &n.id == pkg_id)
642         .unwrap_or_else(|| panic!("could not find `{pkg_id}` in resolve"));
643     for dep in &node.deps {
644         normal_deps_of_r(resolve, &dep.pkg, result);
645     }
646 }
647
648 fn check_rustfix(metadata: &Metadata, bad: &mut bool) {
649     let cargo = pkg_from_name(metadata, "cargo");
650     let compiletest = pkg_from_name(metadata, "compiletest");
651     let cargo_deps = deps_of(metadata, &cargo.id);
652     let compiletest_deps = deps_of(metadata, &compiletest.id);
653     let cargo_rustfix = cargo_deps.iter().find(|p| p.name == "rustfix").unwrap();
654     let compiletest_rustfix = compiletest_deps.iter().find(|p| p.name == "rustfix").unwrap();
655     if cargo_rustfix.version != compiletest_rustfix.version {
656         tidy_error!(
657             bad,
658             "cargo's rustfix version {} does not match compiletest's rustfix version {}\n\
659              rustfix should be kept in sync, update the cargo side first, and then update \
660              compiletest along with cargo.",
661             cargo_rustfix.version,
662             compiletest_rustfix.version
663         );
664     }
665 }