(module
 (export "ex" (func $ex))
 (func $ex (; 0 ;)
  (nop)
 )
)