Here is a lightly tested source of one shot continuations named as in Chez-Scheme.
It also enforces the heuristic that the procedure argument to call/cc should never return.
I have not found a useful exception to this rule and its violation has caused me much debug time.
<pre>(define (call/1cc lam) (let ((x #t))
  (call/cc (lambda (rc) (lam (lambda a (if x
    (begin (set! x #f) (apply rc a))
    (begin (write "Die: reused") (newline) (exit)))))
    (begin (write "Die: lambda returned") (newline) (exit))))))</pre>
A few simple tests:

<pre>(define c '())
(call/1cc (lambda (x) (set! c x) (x 14)))</tt>
(c 3)</pre>
which illustrates failure upon reuse, or

<pre>(define c '())
(call/1cc (lambda (x) (set! c x)))</pre>
Which shows diagnoses of the return of the argument to call/1cc.