(module
 (type $none_=>_none (func))
 (export "ex" (func $ex))
 (func $ex (; has Stack IR ;)
  (nop)
 )
)