;;; TOOL: wat2wasm
;;; ERROR: 1
;; error when displaying source line when the line wasn't in the first 8192
;; bytes.
(module
  (memory 1)
  (data (i32.const 0) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 60) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 120) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 180) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 240) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 300) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 360) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 420) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 480) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 540) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 600) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 660) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 720) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 780) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 840) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 900) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 960) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1020) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1080) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1140) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1200) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1260) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1320) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1380) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1440) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1500) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1560) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1620) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1680) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1740) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1800) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1860) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1920) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 1980) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2040) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2100) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2160) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2220) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2280) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2340) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2400) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2460) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2520) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2580) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2640) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2700) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2760) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2820) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2880) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 2940) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3000) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3060) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3120) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3180) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3240) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3300) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3360) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3420) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3480) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3540) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3600) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3660) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3720) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3780) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3840) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3900) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 3960) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4020) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4080) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4140) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4200) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4260) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4320) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4380) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4440) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4500) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4560) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4620) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4680) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4740) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4800) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4860) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4920) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 4980) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5040) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5100) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5160) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5220) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5280) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5340) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5400) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5460) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5520) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5580) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5640) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5700) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5760) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5820) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5880) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 5940) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6000) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6060) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6120) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6180) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6240) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6300) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6360) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6420) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6480) "000000000000000000000000000000000000000000000000000000000000")
  (data (i32.const 6540) "000000000000000000000000000000000000000000000000000000000000")
  (func (result i32)
    (i64.const 0))  ;; deliberate type-check error
)
(;; STDERR ;;;
out/test/regress/regress-5.txt:118:6: error: type mismatch in implicit return, expected [i32] but got [i64]
    (i64.const 0))  ;; deliberate type-check error
     ^^^^^^^^^
;;; STDERR ;;)