#lang racket

(define-syntax (forever stx)
  (syntax-case stx ()
    [(forever body ...)
     (with-syntax ([abort (datum->syntax #'forever 'abort)])
       #'(call/cc (lambda (abort)
                    (let loop () body ... (loop)))))])) 

(define-syntax (while stx)
  (syntax-case stx ()
    [(while test body ...)
     (with-syntax (; abort* is accessible as ‘abort’
                   [abort* (datum->syntax #'while 'abort)])
       #'(forever (let (; link the two bindings
                        [abort* abort])
                    (unless test (abort))
                    body ...)))]))

(define (g)
  (while #t (abort)))