あれ、上のコードをそのまま貼り付けて実行してみたのですが、やはり leave のとこでクラッシュしてしまうようです。