gistfile1.txt

(define (f) (call/cc (lambda (k) ...)) (print "baz"))

(define (g) (f) (print "foo"))

(define (h) (g) (a) (print "bar"))

(define (a) ...)

printが入れてあるのはTCOで話をややこしくしないため。
(h) を呼び出して実行が進み、(a)に入った時点で、スタックフレームだけ考えると

[トップレベル] <- [hのスタックフレーム] <- [aのスタックフレーム]

だけど、f内で捕まえられたkは

[トップレベル] <- [hのスタックフレーム] <- [gのスタックフレーム] <- [fのスタックフレーム]

というアクティベーションチェーンを保持してる。つまり全体で見るとこんな感じで木になる。

                         /--- [a] (現在の継続)
[トップレベル] <-- [h] ---*
                         \--- [g] --- [f] (k)

継続がいくつあっても同じ。コルーチンは木の枝を渡り歩くイメージ。