(letrec ([main$1 (lambda ()
                     (begin
                       (set! p0 p0)
                       (if (false)
                           (begin
                             (set! rv 12)
                             (live-after (ap fp rv) (jump p0)))
                           (begin
                             (set! rv 30)
                             (live-after (ap fp rv) (jump p0))))))])