ローカル変数よそから絶対いじれないのは、
最適化とか安全性の証明とか、地味なとこで結構大事な話。