Welcome to the CHICKEN Scheme pasting service

$ csc -debug 1 ch11_with-definitions.scm 
[source]
(define-syntax
  with-def
  (syntax-rules
    (define)
    ((_ (define (sym . args) body-first . body-rest))
     (sym (lambda args body-first . body-rest)))
    ((_ (define sym form)) (sym form))))

(define-syntax
  with-definitions
  (syntax-rules
    ()
    ((_ (def ...) body-first . body-rest)
     (letrec ((with-def def) ...) body-first . body-rest))))

(define (example x)
  (with-definitions
    ((define (is-even? x) (zero? (remainder x 2)))
     (define rofl "rolling on the floor laughing"))
    (if (is-even? x) (display rofl) (display ":("))))

$ csc -debug 2 ch11_with-definitions.scm 
[canonicalized]
(##core#callunit "library")

(##core#callunit "eval")

(##core#undefined)

(##core#undefined)

(##core#undefined)

(set! example
  (##core#lambda
    (x95)
    (let ((with-def9798 (##core#undefined)) (with-def9799 (##core#undefined)))
      (let ((t103 (set! with-def9798
                    (set! is-even?
                      (##core#lambda (x101) (zero? (remainder x101 '2)))))))
        (let ((t104 (set! with-def9798
                      (set! rofl '"rolling on the floor laughing"))))
          (let () (if (is-even? x95) (display rofl) (display '":("))))))))

((##sys#implicit-exit-handler))

(##core#undefined)