SCMのソース解析してるサイト（↑にあった）見てて思ったんだけど、
結構有名な処理系(Guileも)なのに多少無茶なリストを読ませると
ガベコレの段階で落ちるっぽいね。これはソースからの推測だけど、
スタックオーバーフローを起こす可能性が残ってる。
スタックレスなgc作るのって大変かな？