;;; TOOL: run-roundtrip
;;; ARGS: --stdout --fold-exprs --enable-exceptions --debug-names
(module
  (func (result i32)
    try (result i32)
      nop
      i32.const 7
    catch
      drop
      i32.const 8
    end
  )
)
(;; STDOUT ;;;
(module
  (type (;0;) (func (result i32)))
  (func (;0;) (type 0) (result i32)
    (try (result i32)  ;; label = @1
      (do
        (nop)
        (i32.const 7))
      (catch
        (drop)
        (i32.const 8)))))
;;; STDOUT ;;)
