(module
 (type $0 (func (result i32)))
 (export "x" (func $0))
 (func $0 (; 0 ;) (type $0) (result i32)
  (i32.const 5678)
 )
)

