// continuations ; call/cc { [q n] [_x _y n continue/cc] q i } ; ; continue/cc { [x y n] x <- n -: _x # i y -> } ; ; call/cc0 0 call/cc ; ; call/cc1 1 call/cc ; ; call/pc { [m q n] _x m -take_ _y m take_ n \continue/pc , q i } ; ; continue/pc { [x y n] x i n -: _x # i y i } ; ; call/pc0 0 call/pc ; ; call/pc1 1 call/pc ; ; call i ;