test/reduce/simple.wast.txt - external/github.com/WebAssembly/binaryen - Git at Google

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