(module
  (memory 1)
  (export "mem" (memory 0)))