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