;;; TOOL: wast2json
;;; STDIN_FILE: test/spec-new/wide-arithmetic.wast