(module
  (memory (;0;) 16)
  (export "memory" (memory 0)))