(module
  (export "" (func $foo))
  (func $foo)
)