(module
  (func $singleInt (param i32)
    return
  )
)