Refine the race condition example.