github.com/n1ghtfa1l/go-vnt@v0.6.4-alpha.6/core/wavm/tests/precompile/wasm/main3.wat

github.com/n1ghtfa1l/go-vnt@v0.6.4-alpha.6/core/wavm/tests/precompile/wasm/main3.wat (about)

     1  (module
     2   (type $FUNCSIG$i (func (result i32)))
     3   (type $FUNCSIG$j (func (result i64)))
     4   (type $FUNCSIG$ji (func (param i32) (result i64)))
     5   (type $FUNCSIG$vij (func (param i32 i64)))
     6   (type $FUNCSIG$ij (func (param i64) (result i32)))
     7   (type $FUNCSIG$ii (func (param i32) (result i32)))
     8   (type $FUNCSIG$vii (func (param i32 i32)))
     9   (type $FUNCSIG$iii (func (param i32 i32) (result i32)))
    10   (type $FUNCSIG$iiii (func (param i32 i32 i32) (result i32)))
    11   (type $FUNCSIG$viii (func (param i32 i32 i32)))
    12   (type $FUNCSIG$v (func))
    13   (import "env" "GenerateKey" (func $GenerateKey (param i32 i32 i32) (result i32)))
    14   (import "env" "read" (func $read (param i32 i32) (result i32)))
    15   (import "env" "write" (func $write (param i32 i32 i32)))
    16   (import "env" "GetOrigin" (func $GetOrigin (result i32)))
    17   (import "env" "GetSender" (func $GetSender (result i32)))
    18   (import "env" "GetValue" (func $GetValue (result i64)))
    19   (import "env" "GetContractValue" (func $GetContractValue (result i64)))
    20   (import "env" "GetContractAddress" (func $GetContractAddress (result i32)))
    21   (import "env" "GetBalanceFromAddress" (func $GetBalanceFromAddress (param i32) (result i64)))
    22   (import "env" "SendFromContract" (func $SendFromContract (param i32 i64)))
    23   (import "env" "GetBlockHash" (func $GetBlockHash (param i64) (result i32)))
    24   (import "env" "GetDifficulty" (func $GetDifficulty (result i64)))
    25   (import "env" "GetBlockNumber" (func $GetBlockNumber (result i64)))
    26   (import "env" "GetTimestamp" (func $GetTimestamp (result i64)))
    27   (import "env" "GetCoinBase" (func $GetCoinBase (result i32)))
    28   (import "env" "GetGas" (func $GetGas (result i64)))
    29   (import "env" "GetGasLimit" (func $GetGasLimit (result i64)))
    30   (import "env" "StorageWrite" (func $StorageWrite (param i32 i32)))
    31   (import "env" "StorageRead" (func $StorageRead (param i32) (result i32)))
    32   (import "env" "SHA3" (func $SHA3 (param i32) (result i32)))
    33   (import "env" "FromI64" (func $FromI64 (param i64) (result i32)))
    34   (import "env" "FromU64" (func $FromU64 (param i64) (result i32)))
    35   (import "env" "ToI64" (func $ToI64 (param i32) (result i64)))
    36   (import "env" "ToU64" (func $ToU64 (param i32) (result i64)))
    37   (import "env" "Concat" (func $Concat (param i32 i32) (result i32)))
    38   (table 23 23 anyfunc)
    39   (elem (i32.const 0) $__wasm_nullptr $__importThunk_GetOrigin $__importThunk_GetSender $__importThunk_GetValue $__importThunk_GetContractValue $__importThunk_GetContractAddress $__importThunk_GetBalanceFromAddress $__importThunk_SendFromContract $__importThunk_GetBlockHash $__importThunk_GetDifficulty $__importThunk_GetBlockNumber $__importThunk_GetTimestamp $__importThunk_GetCoinBase $__importThunk_GetGas $__importThunk_GetGasLimit $__importThunk_StorageWrite $__importThunk_StorageRead $__importThunk_SHA3 $__importThunk_FromI64 $__importThunk_FromU64 $__importThunk_ToI64 $__importThunk_ToU64 $__importThunk_Concat)
    40   (memory $0 1)
    41   (data (i32.const 12) "\00\00\00\00")
    42   (data (i32.const 16) "\00\00\00\00")
    43   (data (i32.const 32) "mapping_e\00")
    44   (data (i32.const 48) "mapping_e.key\00")
    45   (data (i32.const 64) "mapping_e.value\00")
    46   (data (i32.const 96) "mapping_a\00")
    47   (data (i32.const 112) "mapping_a.key\00")
    48   (data (i32.const 144) "mapping_c\00")
    49   (data (i32.const 160) "mapping_c.key\00")
    50   (data (i32.const 208) "array_e\00")
    51   (data (i32.const 224) "array_e.index\00")
    52   (data (i32.const 240) "array_e.length\00")
    53   (data (i32.const 272) "1\00")
    54   (data (i32.const 288) "mapping_h\00")
    55   (data (i32.const 304) "mapping_h.key\00")
    56   (data (i32.const 320) "name\00")
    57   (data (i32.const 336) "mapping_h.value.key\00")
    58   (data (i32.const 368) "aaa\00")
    59   (data (i32.const 384) "address\00")
    60   (data (i32.const 400) "bbb\00")
    61   (data (i32.const 464) "mapping_i\00")
    62   (data (i32.const 480) "mapping_i.key\00")
    63   (data (i32.const 496) "mapping_i.value.name\00")
    64   (data (i32.const 528) "2\00")
    65   (data (i32.const 544) "mapping_i.value.address\00")
    66   (data (i32.const 576) "mapping_i.value.phone\00")
    67   (data (i32.const 616) "\02\00\00\00")
    68   (data (i32.const 620) "\01\00\00\00")
    69   (data (i32.const 624) "\01\00\00\00\01\00\00\00")
    70   (data (i32.const 632) "\01\00\00\00\00\00\00\00\01\00\00\00\00\00\00\00\01\00\00\00\00\00\00\00")
    71   (data (i32.const 656) "\01\00\00\00\01\00\00\00\01\00\00\00\01\00\00\00")
    72   (data (i32.const 672) "\10\01\00\00\10\01\00\00\10\01\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00\00")
    73   (data (i32.const 720) "\01\00\00\00\01\00\00\00\01\00\00\00\01\00\00\00")
    74   (data (i32.const 736) "\00\00\00\00\00\00\00\00")
    75   (data (i32.const 744) "\00\00\00\00\00\00\00\00")
    76   (data (i32.const 752) "\00\00\00\00")
    77   (data (i32.const 760) "\00\00\00\00\00\00\00\00")
    78   (data (i32.const 768) "\00\00\00\00")
    79   (export "memory" (memory $0))
    80   (export "getmsg" (func $getmsg))
    81   (export "getcontract" (func $getcontract))
    82   (export "getblock" (func $getblock))
    83   (export "getutils" (func $getutils))
    84   (export "writemapping" (func $writemapping))
    85   (export "readmapping" (func $readmapping))
    86   (export "writemapping_int32" (func $writemapping_int32))
    87   (export "readmapping_int32" (func $readmapping_int32))
    88   (export "writemapping_int64" (func $writemapping_int64))
    89   (export "readmapping_int64" (func $readmapping_int64))
    90   (export "writearray" (func $writearray))
    91   (export "readarray" (func $readarray))
    92   (export "readarraylength" (func $readarraylength))
    93   (export "TestPop" (func $TestPop))
    94   (export "TestPush" (func $TestPush))
    95   (export "TestComplexMappingWithNesting" (func $TestComplexMappingWithNesting))
    96   (export "TestWriteComplexMappingWithStruct" (func $TestWriteComplexMappingWithStruct))
    97   (export "TestReadComplexMappingWithStruct" (func $TestReadComplexMappingWithStruct))
    98   (export "testcomplex" (func $testcomplex))
    99   (func $getmsg (; 25 ;) (param $0 i32)
   100    (i32.store offset=4
   101     (get_local $0)
   102     (i32.const 1)
   103    )
   104    (i32.store
   105     (get_local $0)
   106     (i32.const 2)
   107    )
   108    (i32.store offset=8
   109     (get_local $0)
   110     (i32.const 3)
   111    )
   112   )
   113   (func $getcontract (; 26 ;) (param $0 i32)
   114    (i32.store offset=4
   115     (get_local $0)
   116     (i32.const 4)
   117    )
   118    (i32.store
   119     (get_local $0)
   120     (i32.const 5)
   121    )
   122    (i32.store offset=8
   123     (get_local $0)
   124     (i32.const 6)
   125    )
   126    (i32.store offset=12
   127     (get_local $0)
   128     (i32.const 7)
   129    )
   130   )
   131   (func $getblock (; 27 ;) (param $0 i32)
   132    (i32.store offset=4
   133     (get_local $0)
   134     (i32.const 8)
   135    )
   136    (i32.store
   137     (get_local $0)
   138     (i32.const 9)
   139    )
   140    (i32.store offset=8
   141     (get_local $0)
   142     (i32.const 10)
   143    )
   144    (i32.store offset=12
   145     (get_local $0)
   146     (i32.const 11)
   147    )
   148    (i32.store offset=16
   149     (get_local $0)
   150     (i32.const 12)
   151    )
   152    (i32.store offset=20
   153     (get_local $0)
   154     (i32.const 13)
   155    )
   156    (i32.store offset=24
   157     (get_local $0)
   158     (i32.const 14)
   159    )
   160   )
   161   (func $getutils (; 28 ;) (param $0 i32)
   162    (i32.store offset=4
   163     (get_local $0)
   164     (i32.const 15)
   165    )
   166    (i32.store
   167     (get_local $0)
   168     (i32.const 16)
   169    )
   170    (i32.store offset=8
   171     (get_local $0)
   172     (i32.const 17)
   173    )
   174    (i32.store offset=12
   175     (get_local $0)
   176     (i32.const 18)
   177    )
   178    (i32.store offset=16
   179     (get_local $0)
   180     (i32.const 19)
   181    )
   182    (i32.store offset=20
   183     (get_local $0)
   184     (i32.const 20)
   185    )
   186    (i32.store offset=24
   187     (get_local $0)
   188     (i32.const 21)
   189    )
   190    (i32.store offset=28
   191     (get_local $0)
   192     (i32.const 22)
   193    )
   194   )
   195   (func $writemapping (; 29 ;) (param $0 i32) (param $1 i32)
   196    (i32.store offset=24
   197     (i32.const 0)
   198     (get_local $1)
   199    )
   200    (i32.store offset=20
   201     (i32.const 0)
   202     (get_local $0)
   203    )
   204    (call $write
   205     (i32.const 64)
   206     (call $GenerateKey
   207      (i32.const 32)
   208      (i32.const 48)
   209      (get_local $0)
   210     )
   211     (i32.const 24)
   212    )
   213   )
   214   (func $readmapping (; 30 ;) (param $0 i32) (result i32)
   215    (i32.store offset=20
   216     (i32.const 0)
   217     (get_local $0)
   218    )
   219    (i32.store offset=24
   220     (i32.const 0)
   221     (tee_local $0
   222      (i32.load
   223       (call $read
   224        (i32.const 64)
   225        (call $GenerateKey
   226         (i32.const 32)
   227         (i32.const 48)
   228         (get_local $0)
   229        )
   230       )
   231      )
   232     )
   233    )
   234    (get_local $0)
   235   )
   236   (func $writemapping_int32 (; 31 ;) (param $0 i32) (param $1 i32)
   237    (i32.store offset=84
   238     (i32.const 0)
   239     (get_local $1)
   240    )
   241    (i32.store offset=80
   242     (i32.const 0)
   243     (get_local $0)
   244    )
   245    (call $write
   246     (i32.const 96)
   247     (call $GenerateKey
   248      (i32.const 96)
   249      (i32.const 112)
   250      (get_local $0)
   251     )
   252     (i32.const 84)
   253    )
   254   )
   255   (func $readmapping_int32 (; 32 ;) (param $0 i32) (result i32)
   256    (i32.store offset=80
   257     (i32.const 0)
   258     (get_local $0)
   259    )
   260    (i32.store offset=84
   261     (i32.const 0)
   262     (tee_local $0
   263      (i32.load
   264       (call $read
   265        (i32.const 96)
   266        (call $GenerateKey
   267         (i32.const 96)
   268         (i32.const 112)
   269         (get_local $0)
   270        )
   271       )
   272      )
   273     )
   274    )
   275    (get_local $0)
   276   )
   277   (func $writemapping_int64 (; 33 ;) (param $0 i64) (param $1 i64)
   278    (i64.store offset=136
   279     (i32.const 0)
   280     (get_local $1)
   281    )
   282    (i64.store offset=128
   283     (i32.const 0)
   284     (get_local $0)
   285    )
   286    (call $write
   287     (i32.const 144)
   288     (call $GenerateKey
   289      (i32.const 144)
   290      (i32.const 160)
   291      (i32.wrap/i64
   292       (get_local $0)
   293      )
   294     )
   295     (i32.const 136)
   296    )
   297   )
   298   (func $readmapping_int64 (; 34 ;) (param $0 i64) (result i64)
   299    (i64.store offset=128
   300     (i32.const 0)
   301     (get_local $0)
   302    )
   303    (i64.store offset=136
   304     (i32.const 0)
   305     (tee_local $0
   306      (i64.load
   307       (call $read
   308        (i32.const 144)
   309        (call $GenerateKey
   310         (i32.const 144)
   311         (i32.const 160)
   312         (i32.wrap/i64
   313          (get_local $0)
   314         )
   315        )
   316       )
   317      )
   318     )
   319    )
   320    (get_local $0)
   321   )
   322   (func $writearray (; 35 ;) (param $0 i64) (param $1 i32) (param $2 i64)
   323    (i32.store offset=184
   324     (i32.const 0)
   325     (get_local $1)
   326    )
   327    (i64.store offset=176
   328     (i32.const 0)
   329     (get_local $0)
   330    )
   331    (i64.store offset=192
   332     (i32.const 0)
   333     (get_local $2)
   334    )
   335    (set_local $1
   336     (call $GenerateKey
   337      (i32.const 208)
   338      (i32.const 224)
   339      (i32.wrap/i64
   340       (get_local $0)
   341      )
   342     )
   343    )
   344    (call $write
   345     (i32.const 208)
   346     (call $GenerateKey
   347      (i32.const 208)
   348      (i32.const 240)
   349      (i32.const 256)
   350     )
   351     (i32.const 192)
   352    )
   353    (call $write
   354     (i32.const 208)
   355     (get_local $1)
   356     (i32.const 184)
   357    )
   358   )
   359   (func $readarray (; 36 ;) (param $0 i64) (result i32)
   360    (local $1 i32)
   361    (i64.store offset=176
   362     (i32.const 0)
   363     (get_local $0)
   364    )
   365    (i32.store offset=184
   366     (i32.const 0)
   367     (tee_local $1
   368      (i32.load
   369       (call $read
   370        (i32.const 208)
   371        (call $GenerateKey
   372         (i32.const 208)
   373         (i32.const 224)
   374         (i32.wrap/i64
   375          (get_local $0)
   376         )
   377        )
   378       )
   379      )
   380     )
   381    )
   382    (get_local $1)
   383   )
   384   (func $readarraylength (; 37 ;) (param $0 i64) (result i64)
   385    (local $1 i64)
   386    (i64.store offset=192
   387     (i32.const 0)
   388     (tee_local $1
   389      (i64.load
   390       (call $read
   391        (i32.const 208)
   392        (call $GenerateKey
   393         (i32.const 208)
   394         (i32.const 240)
   395         (i32.const 256)
   396        )
   397       )
   398      )
   399     )
   400    )
   401    (get_local $1)
   402   )
   403   (func $TestPop (; 38 ;) (result i32)
   404    (local $0 i64)
   405    (local $1 i32)
   406    (i64.store offset=192
   407     (i32.const 0)
   408     (tee_local $0
   409      (i64.load
   410       (call $read
   411        (i32.const 208)
   412        (i32.const 256)
   413       )
   414      )
   415     )
   416    )
   417    (i64.store offset=176
   418     (i32.const 0)
   419     (tee_local $0
   420      (i64.add
   421       (get_local $0)
   422       (i64.const -1)
   423      )
   424     )
   425    )
   426    (i32.store offset=184
   427     (i32.const 0)
   428     (tee_local $1
   429      (i32.load
   430       (call $read
   431        (i32.const 208)
   432        (i32.wrap/i64
   433         (get_local $0)
   434        )
   435       )
   436      )
   437     )
   438    )
   439    (i64.store offset=192
   440     (i32.const 0)
   441     (i64.add
   442      (i64.load offset=192
   443       (i32.const 0)
   444      )
   445      (i64.const -1)
   446     )
   447    )
   448    (call $write
   449     (i32.const 208)
   450     (i32.const 256)
   451     (i32.const 192)
   452    )
   453    (get_local $1)
   454   )
   455   (func $TestPush (; 39 ;) (param $0 i32)
   456    (local $1 i64)
   457    (i64.store offset=192
   458     (i32.const 0)
   459     (i64.add
   460      (i64.load
   461       (call $read
   462        (i32.const 208)
   463        (i32.const 256)
   464       )
   465      )
   466      (i64.const 1)
   467     )
   468    )
   469    (call $write
   470     (i32.const 208)
   471     (i32.const 256)
   472     (i32.const 192)
   473    )
   474    (i32.store offset=184
   475     (i32.const 0)
   476     (get_local $0)
   477    )
   478    (i64.store offset=176
   479     (i32.const 0)
   480     (tee_local $1
   481      (i64.add
   482       (i64.load offset=192
   483        (i32.const 0)
   484       )
   485       (i64.const -1)
   486      )
   487     )
   488    )
   489    (call $write
   490     (i32.const 208)
   491     (i32.wrap/i64
   492      (get_local $1)
   493     )
   494     (i32.const 184)
   495    )
   496   )
   497   (func $TestComplexMappingWithNesting (; 40 ;)
   498    (local $0 i32)
   499    (local $1 i32)
   500    (i32.store offset=276
   501     (i32.const 0)
   502     (i32.const 272)
   503    )
   504    (set_local $0
   505     (call $GenerateKey
   506      (i32.const 288)
   507      (i32.const 304)
   508      (i32.const 272)
   509     )
   510    )
   511    (i32.store offset=280
   512     (i32.const 0)
   513     (i32.const 320)
   514    )
   515    (set_local $1
   516     (call $GenerateKey
   517      (get_local $0)
   518      (i32.const 336)
   519      (i32.const 320)
   520     )
   521    )
   522    (i32.store offset=284
   523     (i32.const 0)
   524     (i32.const 368)
   525    )
   526    (call $write
   527     (i32.const 288)
   528     (get_local $1)
   529     (i32.const 284)
   530    )
   531    (i32.store offset=280
   532     (i32.const 0)
   533     (i32.const 384)
   534    )
   535    (set_local $0
   536     (call $GenerateKey
   537      (get_local $0)
   538      (i32.const 336)
   539      (i32.const 384)
   540     )
   541    )
   542    (i32.store offset=284
   543     (i32.const 0)
   544     (i32.const 400)
   545    )
   546    (call $write
   547     (i32.const 288)
   548     (get_local $0)
   549     (i32.const 284)
   550    )
   551   )
   552   (func $TestWriteComplexMappingWithStruct (; 41 ;)
   553    (local $0 i32)
   554    (local $1 i32)
   555    (i32.store offset=408
   556     (i32.const 0)
   557     (i32.const 272)
   558    )
   559    (set_local $1
   560     (call $GenerateKey
   561      (tee_local $0
   562       (call $GenerateKey
   563        (i32.const 464)
   564        (i32.const 480)
   565        (i32.const 272)
   566       )
   567      )
   568      (i32.const 496)
   569      (i32.const 256)
   570     )
   571    )
   572    (i32.store offset=416
   573     (i32.const 0)
   574     (i32.const 528)
   575    )
   576    (call $write
   577     (i32.const 464)
   578     (get_local $1)
   579     (i32.const 416)
   580    )
   581    (set_local $1
   582     (call $GenerateKey
   583      (get_local $0)
   584      (i32.const 544)
   585      (i32.const 256)
   586     )
   587    )
   588    (i32.store offset=420
   589     (i32.const 0)
   590     (i32.const 528)
   591    )
   592    (call $write
   593     (i32.const 464)
   594     (get_local $1)
   595     (i32.const 420)
   596    )
   597    (set_local $0
   598     (call $GenerateKey
   599      (get_local $0)
   600      (i32.const 576)
   601      (i32.const 256)
   602     )
   603    )
   604    (i32.store offset=424
   605     (i32.const 0)
   606     (i32.const 528)
   607    )
   608    (call $write
   609     (i32.const 464)
   610     (get_local $0)
   611     (i32.const 424)
   612    )
   613   )
   614   (func $TestReadComplexMappingWithStruct (; 42 ;)
   615    (local $0 i32)
   616    (i32.store offset=408
   617     (i32.const 0)
   618     (i32.const 272)
   619    )
   620    (i64.store32 offset=416
   621     (i32.const 0)
   622     (i64.load
   623      (call $read
   624       (i32.const 464)
   625       (call $GenerateKey
   626        (tee_local $0
   627         (call $GenerateKey
   628          (i32.const 464)
   629          (i32.const 480)
   630          (i32.const 272)
   631         )
   632        )
   633        (i32.const 496)
   634        (i32.const 256)
   635       )
   636      )
   637     )
   638    )
   639    (i64.store32 offset=420
   640     (i32.const 0)
   641     (i64.load
   642      (call $read
   643       (i32.const 464)
   644       (call $GenerateKey
   645        (get_local $0)
   646        (i32.const 544)
   647        (i32.const 256)
   648       )
   649      )
   650     )
   651    )
   652    (i64.store32 offset=424
   653     (i32.const 0)
   654     (i64.load
   655      (call $read
   656       (i32.const 464)
   657       (call $GenerateKey
   658        (get_local $0)
   659        (i32.const 576)
   660        (i32.const 256)
   661       )
   662      )
   663     )
   664    )
   665   )
   666   (func $testcomplex (; 43 ;)
   667    (i64.store offset=600 align=4
   668     (i32.const 0)
   669     (i64.const 4294967297)
   670    )
   671    (i64.store offset=608 align=4
   672     (i32.const 0)
   673     (i64.const 4294967297)
   674    )
   675   )
   676   (func $__wasm_nullptr (; 44 ;) (type $FUNCSIG$v)
   677    (unreachable)
   678   )
   679   (func $__importThunk_GetOrigin (; 45 ;) (type $FUNCSIG$i) (result i32)
   680    (call $GetOrigin)
   681   )
   682   (func $__importThunk_GetSender (; 46 ;) (type $FUNCSIG$i) (result i32)
   683    (call $GetSender)
   684   )
   685   (func $__importThunk_GetValue (; 47 ;) (type $FUNCSIG$j) (result i64)
   686    (call $GetValue)
   687   )
   688   (func $__importThunk_GetContractValue (; 48 ;) (type $FUNCSIG$j) (result i64)
   689    (call $GetContractValue)
   690   )
   691   (func $__importThunk_GetContractAddress (; 49 ;) (type $FUNCSIG$i) (result i32)
   692    (call $GetContractAddress)
   693   )
   694   (func $__importThunk_GetBalanceFromAddress (; 50 ;) (type $FUNCSIG$ji) (param $0 i32) (result i64)
   695    (call $GetBalanceFromAddress
   696     (get_local $0)
   697    )
   698   )
   699   (func $__importThunk_SendFromContract (; 51 ;) (type $FUNCSIG$vij) (param $0 i32) (param $1 i64)
   700    (call $SendFromContract
   701     (get_local $0)
   702     (get_local $1)
   703    )
   704   )
   705   (func $__importThunk_GetBlockHash (; 52 ;) (type $FUNCSIG$ij) (param $0 i64) (result i32)
   706    (call $GetBlockHash
   707     (get_local $0)
   708    )
   709   )
   710   (func $__importThunk_GetDifficulty (; 53 ;) (type $FUNCSIG$j) (result i64)
   711    (call $GetDifficulty)
   712   )
   713   (func $__importThunk_GetBlockNumber (; 54 ;) (type $FUNCSIG$j) (result i64)
   714    (call $GetBlockNumber)
   715   )
   716   (func $__importThunk_GetTimestamp (; 55 ;) (type $FUNCSIG$j) (result i64)
   717    (call $GetTimestamp)
   718   )
   719   (func $__importThunk_GetCoinBase (; 56 ;) (type $FUNCSIG$i) (result i32)
   720    (call $GetCoinBase)
   721   )
   722   (func $__importThunk_GetGas (; 57 ;) (type $FUNCSIG$j) (result i64)
   723    (call $GetGas)
   724   )
   725   (func $__importThunk_GetGasLimit (; 58 ;) (type $FUNCSIG$j) (result i64)
   726    (call $GetGasLimit)
   727   )
   728   (func $__importThunk_StorageWrite (; 59 ;) (type $FUNCSIG$vii) (param $0 i32) (param $1 i32)
   729    (call $StorageWrite
   730     (get_local $0)
   731     (get_local $1)
   732    )
   733   )
   734   (func $__importThunk_StorageRead (; 60 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
   735    (call $StorageRead
   736     (get_local $0)
   737    )
   738   )
   739   (func $__importThunk_SHA3 (; 61 ;) (type $FUNCSIG$ii) (param $0 i32) (result i32)
   740    (call $SHA3
   741     (get_local $0)
   742    )
   743   )
   744   (func $__importThunk_FromI64 (; 62 ;) (type $FUNCSIG$ij) (param $0 i64) (result i32)
   745    (call $FromI64
   746     (get_local $0)
   747    )
   748   )
   749   (func $__importThunk_FromU64 (; 63 ;) (type $FUNCSIG$ij) (param $0 i64) (result i32)
   750    (call $FromU64
   751     (get_local $0)
   752    )
   753   )
   754   (func $__importThunk_ToI64 (; 64 ;) (type $FUNCSIG$ji) (param $0 i32) (result i64)
   755    (call $ToI64
   756     (get_local $0)
   757    )
   758   )
   759   (func $__importThunk_ToU64 (; 65 ;) (type $FUNCSIG$ji) (param $0 i32) (result i64)
   760    (call $ToU64
   761     (get_local $0)
   762    )
   763   )
   764   (func $__importThunk_Concat (; 66 ;) (type $FUNCSIG$iii) (param $0 i32) (param $1 i32) (result i32)
   765    (call $Concat
   766     (get_local $0)
   767     (get_local $1)
   768    )
   769   )
   770  )