For example, a few genuine race conditions can be inserted such that multiple attempts by an attacker to follow program execution will get different results.
Termination of loops can depend on relatively infrequent resolutions of the races.