=== SMP race run 1 ===
debug.rng_race: 0
=== SMP race run 2 ===
debug.rng_race: 0
=== SMP race run 3 ===
debug.rng_race: 0
=== CONTROL run (single CPU0-pinned thread, 6e6 draws) ===
debug.rng_race: 0