;;; TOOL: wat2wasm
;;; ARGS: --enable-threads
(module (memory 1 1 shared))