ひょっとして「副作用が無くても(CPUのOO実行とかキャッシュで)入れ替わることがあるので副作用が無ければOKというのは誤り」と言いたかったのか？