;;; TOOL: wat-desugar
;;; FLAGS: --enable-exceptions --fold-exprs
(module
  (except $ex i32)
  (export "except" (except $ex))
  (func (result i32)
    (i32.const 5)
    (i32.const 7)
    (throw $ex)
  )
)
(;; STDOUT ;;;
(module
  (except $ex i32)
  (export "except" (except $ex))
  (func (;0;) (result i32)
    (i32.const 5)
    (throw $ex
      (i32.const 7)))
  (type (;0;) (func (result i32))))
;;; STDOUT ;;)