@wingo It seems to preserve the semantics of call/cc, but probably there are some shortcomings in this implementation.

P.S. Oops, it doesn't preserve the semantics.