(call/cc
 (λ (k1)
   (call/cc
    (λ (k2)
      (k2 456)))))