fcontrol/runってこういう理解でOK？

fcontrol.rkt

#lang racket
(require racket/control)

(define (call-with-run thunk proc)
  (call/prompt thunk
               (default-continuation-prompt-tag)
               proc))

(define-syntax run
  (syntax-rules ()
    ((_ expr proc)
     (call-with-run (lambda () expr)
                    proc))))

(define (fctrl val)
  (call/comp
   (lambda (cont)
     (abort/cc (default-continuation-prompt-tag)
               val cont))))

(run (+ 2 (fctrl 5))
     (lambda (v k)
       (k v)))
;; => 7

(run (+ 2 (fctrl 5))
     (lambda (v k)
       v))
;; => 5

(run (+ 100 (fctrl (+ 10 (fctrl 1))))
     (lambda (v k)
       (run (k (+ v v v))
            (lambda (v k) (k (k v))))))

;; => 213