;;; TOOL: run-roundtrip
;;; FLAGS: --stdout --enable-exceptions
(module
  (import "c++" "except" (except $ex i32))
  (func (result i32)
    try $try1 (result i32)
      nop
      i32.const 7
      catch $ex
        nop
      catch_all
        rethrow $try1
    end
  )
)
(;; STDOUT ;;;
(module
  (type (;0;) (func (result i32)))
  (import "c++" "except" (except (;0;) i32))
  (func (;0;) (type 0) (result i32)
    try (result i32)  ;; label = @1
      nop
      i32.const 7
    catch 0
      nop
    catch_all
      rethrow 0 (;@1;)
    end))
;;; STDOUT ;;)