pub const SILENCE_WARNINGS: &'static str;
If this is set, then warnings about Shuttle’s modelling of weak memory and differences between Shuttle’s version of LazyStatic and the regular version of LazyStatic will not be emitted.