racket's escape analysis

escape.rkt

; when compiled, does this code ...

(define (abs x)
  (define (f)
    (if (> x 0) x (g))
  (define (g)
    (- 0 x))
  (f))

; ... turn into this code?

(define (abs x)
  (if (> x 0) x (- 0 x)))