(module
  (export "abc" (func $de/inetsoftware/jwebassembly/samples/FunctionParameters.singleInt))
  (func $de/inetsoftware/jwebassembly/samples/FunctionParameters.singleInt (param i32) (local i32)
    local.get 0
    i32.const 1
    i32.add
    local.set 1
    return
  )
)