サンプルとして提供してくれている DataRace 版でもいくら実行しても綺麗に121212 しかならないｗ (edited)