See discussion on https://github.com/rust-lang/rust/pull/32538 https://github.com/rust-lang/rust/blob/master/src/doc/book/concurrency.md#safe-shared-mutable-state provides a program that could have a data race, but doesn't -- each thread accesses an independent array member. We should use a program that does in fact have a data race; perhaps something that iterates over the same array twice or accesses random keys.