変数も増加分もスタックに記録しておかずにエスパー的にそれがわかるんでしょ?すごいじゃないですか