;;; TOOL: run-gen-wasm-bad
;;; ARGS1: --disable-memory64
;;; ARGS2: --disable-memory64
magic
version
section(MEMORY) {
  count[1]
  flags[4]
}
(;; STDERR ;;;
000000c: error: memory64 not allowed
000000c: error: memory64 not allowed
;;; STDERR ;;)