(module
 (type $none_=>_none (func))
 (type $i32_=>_i32 (func (param i32) (result i32)))
 (type $none_=>_i32 (func (result i32)))
 (type $i32_i32_=>_i32 (func (param i32 i32) (result i32)))
 (import "env" "memory" (memory $mimport$0 0))
 (data (global.get $gimport$1) "*\00\00\00")
 (import "env" "__indirect_function_table" (table $timport$0 0 funcref))
 (import "env" "__stack_pointer" (global $gimport$0 (mut i32)))
 (import "env" "__memory_base" (global $gimport$1 i32))
 (import "env" "__table_base" (global $gimport$2 i32))
 (import "GOT.func" "_Z16waka_func_theirsi" (global $gimport$3 (mut i32)))
 (import "GOT.func" "_Z14waka_func_minei" (global $gimport$4 (mut i32)))
 (import "GOT.mem" "waka_mine" (global $gimport$5 (mut i32)))
 (import "GOT.mem" "waka_others" (global $gimport$6 (mut i32)))
 (import "env" "_Z16waka_func_theirsi" (func $waka_func_theirs\28int\29 (param i32) (result i32)))
 (global $global$0 i32 (i32.const 0))
 (global $global$1 i32 (i32.const 0))
 (export "__post_instantiate" (func $__wasm_call_ctors))
 (export "__wasm_apply_relocs" (func $__wasm_apply_relocs))
 (export "_Z14waka_func_minei" (func $waka_func_mine\28int\29))
 (export "__original_main" (func $__original_main))
 (export "waka_mine" (global $global$0))
 (export "main" (func $main))
 (export "__dso_handle" (global $global$1))
 (func $__wasm_call_ctors
  (call $__wasm_apply_relocs)
 )
 (func $__wasm_apply_relocs
 )
 (func $waka_func_mine\28int\29 (param $0 i32) (result i32)
  (i32.add
   (local.get $0)
   (i32.const 1)
  )
 )
 (func $__original_main (result i32)
  (local $0 i32)
  (local $1 i32)
  (local.set $0
   (global.get $gimport$3)
  )
  (local.set $1
   (global.get $gimport$4)
  )
  (i32.add
   (i32.add
    (i32.load
     (global.get $gimport$5)
    )
    (i32.add
     (local.get $1)
     (local.get $0)
    )
   )
   (i32.load
    (global.get $gimport$6)
   )
  )
 )
 (func $main (param $0 i32) (param $1 i32) (result i32)
  (call $__original_main)
 )
 ;; dylink section
 ;;   memorysize: 4
 ;;   memoryalignment: 2
 ;;   tablesize: 0
 ;;   tablealignment: 0
 ;; custom section "producers", size 157
)
(;
--BEGIN METADATA --
{
  "tableSize": 0,
  "declares": [
    "_Z16waka_func_theirsi"
  ],
  "externs": [
    "___stack_pointer",
    "___memory_base",
    "___table_base",
    "__Z16waka_func_theirsi",
    "__Z14waka_func_minei",
    "_waka_mine",
    "_waka_others"
  ],
  "exports": [
    "__post_instantiate",
    "__wasm_apply_relocs",
    "_Z14waka_func_minei",
    "__original_main",
    "main"
  ],
  "namedGlobals": {
    "waka_mine" : "0",
    "__dso_handle" : "0"
  },
  "invokeFuncs": [
  ],
  "mainReadsParams": 0,
  "features": [
  ]
}
-- END METADATA --
;)