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