Even just the debugger overhead can be enough to change the behavior of a subtle race condition