;;; TOOL: wat2wasm
(module (memory 1 2))