;;; TOOL: run-gen-wasm-bad
magic
version
section(MEMORY) {
  count[1]
  has_max[1]
  initial[0]
  max[leb_u32(65537)]
}
(;; STDERR ;;;
out/test/binary/bad-memory-max-size/bad-memory-max-size.wasm:0000010: error: max pages (65537) must be <= (65536)
out/test/binary/bad-memory-max-size/bad-memory-max-size.wasm:0000010: error: max pages (65537) must be <= (65536)
;;; STDERR ;;)