(module
  (memory 256 256)
  (export "memory" memory)
)