{withcc k {+ 1 {k 2}}}            
=> {+ 1 { (lambda^ (•) •)  2}}
=> 2


{+ 1 { {fun {x} x}  2}}
=> {+ 1 2}


{withcc done
        {{withcc esc 
                 {done {+ 1 {withcc k 
                                    {esc k}}}}}
         3}}
=> {{withcc esc
            { (lambda^ (•) •) {+ 1 {withcc k
                                           {esc k}}}}}
    3}
=> { { (lambda^ (•) •) {+ 1 {withcc k
                                    { (lambda^ (•) {• 3}) k}}}}
     3}
=> { { (lambda^ (•) •) {+ 1 
                          { (lambda^ (•) {• 3}) 
                            (lambda^ (•)
                                     { { (lambda^ (•) •) {+ 1 • }}
                                       3}) }}}
     3}
=> {(lambda^ (•)
             { { (lambda^ (•) •) {+ 1 • }}
               3}) 
    3}
=> { { (lambda^ (•) •) {+ 1 3 }}
     3}
=> { { (lambda^ (•) •) 4}
     3}
=> 4