Determinacy Race Example
				If we could guarantee that this line of code executed atomically, then the program would have no determinacy race.