expansion of reset0/shift0

gistfile1.rkt

#lang racket

(define pt (make-continuation-prompt-tag))

(call-with-continuation-prompt
 (lambda ()
   (+ 1
      (call-with-composable-continuation
       (lambda (k)
         (abort-current-continuation
          pt
          (lambda () 
            ((lambda (k) k)
             (lambda vals
               (call-with-continuation-prompt
                (lambda ()
                  (apply k vals))
                pt
                (lambda (thunk) (thunk)))))))))))
 pt
 (lambda (thunk) (thunk)))