dynamic-wind

昨晩のエントリにて guile のマニュアルを引用したんですが、よくよく考えたら仕様書見れば良いんじゃないか、と。
で、R5RS 見てみたら実装があまりにも仕様書通りでびっくり。仕様によれば

実行が thunk 呼び出しの動的範囲に入る際に before を呼び出し、実行が動的範囲を抜ける際に after を呼び出す。

とある。どういった形で

継続の起動により、ある dynamic-wind 呼び出しの before と別な dynamic-wind 呼び出しの after の呼び出しが要求される場合

というナニが発生するのかが微妙ですが、とりあえず ReadingGauche の output は可能なのかどうなのか。gauche な実装はそのまんまなので、どちらかというとどういったコードが上記の条件に合致するのか、という事が知りたいようなそうでもないような。