call/cc は

return に名前を変えた。こっちの方が分かりやすいと思う。

tico> (closure () (return 2, 3) call + 4)
6.0             # (, 3) が実行されずに関数が終了している

tico> (closure () (global *save*: return, 2) call + 4)
6.0

tico> (*save* 5)
9.0             # return を関数外に持ち出せるという不思議