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

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