(module
  (func $add (result i32)
    i32.const 13
  )
)