(block #1=#:g0001
  (let ((#2=#:g0002 nil))
    (tagbody
       (handler-bind ((type1 #'(lambda (temp)
                                 (setq #2# temp)
                                 (go #3=#:g0003)))
                      (type2 #'(lambda (temp)
                                 (setq #2# temp)
                                 (go #4=#:g0004)))
                      (type3 #'(lambda (temp)
                                 (setq #2# temp)
                                 (go #5=#:g0005)))
                      (type4 #'(lambda (temp)
                                 (setq #2# temp)
                                 (go #6=#:g0006)))
                      ...)
         (return-from #1# form))
       #3# (return-from #1# (let ((var1 #2#)) . body1))
       #4# (return-from #1# (let ((var2 #2#)) . body2))
       #5# (return-from #1# (let ((var3 #2#)) . body2))
       #6# (return-from #1# (let ((var4 #2#)) . body2)) ...)))