destructive.wast.txt

(module
 (type $i32_=>_i32 (func (param i32) (result i32)))
 (export "x" (func $0))
 (func $0 (param $0 i32) (result i32)
  (i32.const 100)
 )
)