Text file src/github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata/skip-stack-guard-page.wast

Documentation: github.com/tetratelabs/wazero/internal/integration_test/spectest/v2/testdata

     1;; This tests that the stack overflow guard page can't be skipped by a function with more than a page of locals.
     2(module
     3  (memory 1)
     4  (export "test-guard-page-skip" (func $test-guard-page-skip))
     5
     6  (func $test-guard-page-skip
     7    (param $depth i32)
     8    (if (i32.eq (local.get $depth) (i32.const 0))
     9      (then (call $function-with-many-locals))
    10      (else (call $test-guard-page-skip (i32.sub (local.get $depth) (i32.const 1))))
    11    )
    12  )
    13
    14  (func $function-with-many-locals
    15
    16    ;; 1056 i64 = 8448 bytes of locals
    17    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x000-0x007
    18    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x008-0x00f
    19    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x010-0x017
    20    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x018-0x01f
    21    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x020-0x027
    22    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x028-0x02f
    23    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x030-0x037
    24    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x038-0x03f
    25    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x040-0x047
    26    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x048-0x04f
    27    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x050-0x057
    28    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x058-0x05f
    29    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x060-0x067
    30    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x068-0x06f
    31    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x070-0x077
    32    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x078-0x07f
    33    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x080-0x087
    34    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x088-0x08f
    35    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x090-0x097
    36    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x098-0x09f
    37    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0a0-0x0a7
    38    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0a8-0x0af
    39    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0b0-0x0b7
    40    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0b8-0x0bf
    41    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0c0-0x0c7
    42    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0c8-0x0cf
    43    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0d0-0x0d7
    44    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0d8-0x0df
    45    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0e0-0x0e7
    46    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0e8-0x0ef
    47    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0f0-0x0f7
    48    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x0f8-0x0ff
    49
    50    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x100-0x107
    51    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x108-0x10f
    52    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x110-0x117
    53    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x118-0x11f
    54    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x120-0x127
    55    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x128-0x12f
    56    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x130-0x137
    57    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x138-0x13f
    58    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x140-0x147
    59    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x148-0x14f
    60    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x150-0x157
    61    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x158-0x15f
    62    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x160-0x167
    63    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x168-0x16f
    64    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x170-0x177
    65    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x178-0x17f
    66    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x180-0x187
    67    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x188-0x18f
    68    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x190-0x197
    69    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x198-0x19f
    70    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1a0-0x1a7
    71    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1a8-0x1af
    72    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1b0-0x1b7
    73    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1b8-0x1bf
    74    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1c0-0x1c7
    75    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1c8-0x1cf
    76    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1d0-0x1d7
    77    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1d8-0x1df
    78    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1e0-0x1e7
    79    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1e8-0x1ef
    80    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1f0-0x1f7
    81    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x1f8-0x1ff
    82
    83    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x200-0x207
    84    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x208-0x20f
    85    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x210-0x217
    86    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x218-0x21f
    87    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x220-0x227
    88    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x228-0x22f
    89    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x230-0x237
    90    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x238-0x23f
    91    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x240-0x247
    92    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x248-0x24f
    93    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x250-0x257
    94    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x258-0x25f
    95    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x260-0x267
    96    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x268-0x26f
    97    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x270-0x277
    98    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x278-0x27f
    99    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x280-0x287
   100    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x288-0x28f
   101    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x290-0x297
   102    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x298-0x29f
   103    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2a0-0x2a7
   104    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2a8-0x2af
   105    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2b0-0x2b7
   106    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2b8-0x2bf
   107    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2c0-0x2c7
   108    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2c8-0x2cf
   109    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2d0-0x2d7
   110    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2d8-0x2df
   111    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2e0-0x2e7
   112    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2e8-0x2ef
   113    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2f0-0x2f7
   114    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x2f8-0x2ff
   115
   116    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x300-0x307
   117    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x308-0x30f
   118    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x310-0x317
   119    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x318-0x31f
   120    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x320-0x327
   121    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x328-0x32f
   122    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x330-0x337
   123    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x338-0x33f
   124    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x340-0x347
   125    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x348-0x34f
   126    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x350-0x357
   127    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x358-0x35f
   128    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x360-0x367
   129    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x368-0x36f
   130    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x370-0x377
   131    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x378-0x37f
   132    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x380-0x387
   133    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x388-0x38f
   134    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x390-0x397
   135    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x398-0x39f
   136    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3a0-0x3a7
   137    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3a8-0x3af
   138    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3b0-0x3b7
   139    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3b8-0x3bf
   140    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3c0-0x3c7
   141    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3c8-0x3cf
   142    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3d0-0x3d7
   143    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3d8-0x3df
   144    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3e0-0x3e7
   145    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3e8-0x3ef
   146    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3f0-0x3f7
   147    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x3f8-0x3ff
   148
   149    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x400-0x407
   150    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x408-0x40f
   151    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x410-0x417
   152    (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) (local i64) ;; 0x418-0x41f
   153
   154    ;; recurse first to try to make the callee access the stack below the space allocated for the locals before the locals themselves have been initialized.
   155    (call $function-with-many-locals)
   156
   157    ;; load from memory into the locals
   158    (local.set 0x000 (i64.load offset=0x000 align=1 (i32.const 0)))
   159    (local.set 0x001 (i64.load offset=0x001 align=1 (i32.const 0)))
   160    (local.set 0x002 (i64.load offset=0x002 align=1 (i32.const 0)))
   161    (local.set 0x003 (i64.load offset=0x003 align=1 (i32.const 0)))
   162    (local.set 0x004 (i64.load offset=0x004 align=1 (i32.const 0)))
   163    (local.set 0x005 (i64.load offset=0x005 align=1 (i32.const 0)))
   164    (local.set 0x006 (i64.load offset=0x006 align=1 (i32.const 0)))
   165    (local.set 0x007 (i64.load offset=0x007 align=1 (i32.const 0)))
   166    (local.set 0x008 (i64.load offset=0x008 align=1 (i32.const 0)))
   167    (local.set 0x009 (i64.load offset=0x009 align=1 (i32.const 0)))
   168    (local.set 0x00a (i64.load offset=0x00a align=1 (i32.const 0)))
   169    (local.set 0x00b (i64.load offset=0x00b align=1 (i32.const 0)))
   170    (local.set 0x00c (i64.load offset=0x00c align=1 (i32.const 0)))
   171    (local.set 0x00d (i64.load offset=0x00d align=1 (i32.const 0)))
   172    (local.set 0x00e (i64.load offset=0x00e align=1 (i32.const 0)))
   173    (local.set 0x00f (i64.load offset=0x00f align=1 (i32.const 0)))
   174    (local.set 0x010 (i64.load offset=0x010 align=1 (i32.const 0)))
   175    (local.set 0x011 (i64.load offset=0x011 align=1 (i32.const 0)))
   176    (local.set 0x012 (i64.load offset=0x012 align=1 (i32.const 0)))
   177    (local.set 0x013 (i64.load offset=0x013 align=1 (i32.const 0)))
   178    (local.set 0x014 (i64.load offset=0x014 align=1 (i32.const 0)))
   179    (local.set 0x015 (i64.load offset=0x015 align=1 (i32.const 0)))
   180    (local.set 0x016 (i64.load offset=0x016 align=1 (i32.const 0)))
   181    (local.set 0x017 (i64.load offset=0x017 align=1 (i32.const 0)))
   182    (local.set 0x018 (i64.load offset=0x018 align=1 (i32.const 0)))
   183    (local.set 0x019 (i64.load offset=0x019 align=1 (i32.const 0)))
   184    (local.set 0x01a (i64.load offset=0x01a align=1 (i32.const 0)))
   185    (local.set 0x01b (i64.load offset=0x01b align=1 (i32.const 0)))
   186    (local.set 0x01c (i64.load offset=0x01c align=1 (i32.const 0)))
   187    (local.set 0x01d (i64.load offset=0x01d align=1 (i32.const 0)))
   188    (local.set 0x01e (i64.load offset=0x01e align=1 (i32.const 0)))
   189    (local.set 0x01f (i64.load offset=0x01f align=1 (i32.const 0)))
   190    (local.set 0x020 (i64.load offset=0x020 align=1 (i32.const 0)))
   191    (local.set 0x021 (i64.load offset=0x021 align=1 (i32.const 0)))
   192    (local.set 0x022 (i64.load offset=0x022 align=1 (i32.const 0)))
   193    (local.set 0x023 (i64.load offset=0x023 align=1 (i32.const 0)))
   194    (local.set 0x024 (i64.load offset=0x024 align=1 (i32.const 0)))
   195    (local.set 0x025 (i64.load offset=0x025 align=1 (i32.const 0)))
   196    (local.set 0x026 (i64.load offset=0x026 align=1 (i32.const 0)))
   197    (local.set 0x027 (i64.load offset=0x027 align=1 (i32.const 0)))
   198    (local.set 0x028 (i64.load offset=0x028 align=1 (i32.const 0)))
   199    (local.set 0x029 (i64.load offset=0x029 align=1 (i32.const 0)))
   200    (local.set 0x02a (i64.load offset=0x02a align=1 (i32.const 0)))
   201    (local.set 0x02b (i64.load offset=0x02b align=1 (i32.const 0)))
   202    (local.set 0x02c (i64.load offset=0x02c align=1 (i32.const 0)))
   203    (local.set 0x02d (i64.load offset=0x02d align=1 (i32.const 0)))
   204    (local.set 0x02e (i64.load offset=0x02e align=1 (i32.const 0)))
   205    (local.set 0x02f (i64.load offset=0x02f align=1 (i32.const 0)))
   206    (local.set 0x030 (i64.load offset=0x030 align=1 (i32.const 0)))
   207    (local.set 0x031 (i64.load offset=0x031 align=1 (i32.const 0)))
   208    (local.set 0x032 (i64.load offset=0x032 align=1 (i32.const 0)))
   209    (local.set 0x033 (i64.load offset=0x033 align=1 (i32.const 0)))
   210    (local.set 0x034 (i64.load offset=0x034 align=1 (i32.const 0)))
   211    (local.set 0x035 (i64.load offset=0x035 align=1 (i32.const 0)))
   212    (local.set 0x036 (i64.load offset=0x036 align=1 (i32.const 0)))
   213    (local.set 0x037 (i64.load offset=0x037 align=1 (i32.const 0)))
   214    (local.set 0x038 (i64.load offset=0x038 align=1 (i32.const 0)))
   215    (local.set 0x039 (i64.load offset=0x039 align=1 (i32.const 0)))
   216    (local.set 0x03a (i64.load offset=0x03a align=1 (i32.const 0)))
   217    (local.set 0x03b (i64.load offset=0x03b align=1 (i32.const 0)))
   218    (local.set 0x03c (i64.load offset=0x03c align=1 (i32.const 0)))
   219    (local.set 0x03d (i64.load offset=0x03d align=1 (i32.const 0)))
   220    (local.set 0x03e (i64.load offset=0x03e align=1 (i32.const 0)))
   221    (local.set 0x03f (i64.load offset=0x03f align=1 (i32.const 0)))
   222    (local.set 0x040 (i64.load offset=0x040 align=1 (i32.const 0)))
   223    (local.set 0x041 (i64.load offset=0x041 align=1 (i32.const 0)))
   224    (local.set 0x042 (i64.load offset=0x042 align=1 (i32.const 0)))
   225    (local.set 0x043 (i64.load offset=0x043 align=1 (i32.const 0)))
   226    (local.set 0x044 (i64.load offset=0x044 align=1 (i32.const 0)))
   227    (local.set 0x045 (i64.load offset=0x045 align=1 (i32.const 0)))
   228    (local.set 0x046 (i64.load offset=0x046 align=1 (i32.const 0)))
   229    (local.set 0x047 (i64.load offset=0x047 align=1 (i32.const 0)))
   230    (local.set 0x048 (i64.load offset=0x048 align=1 (i32.const 0)))
   231    (local.set 0x049 (i64.load offset=0x049 align=1 (i32.const 0)))
   232    (local.set 0x04a (i64.load offset=0x04a align=1 (i32.const 0)))
   233    (local.set 0x04b (i64.load offset=0x04b align=1 (i32.const 0)))
   234    (local.set 0x04c (i64.load offset=0x04c align=1 (i32.const 0)))
   235    (local.set 0x04d (i64.load offset=0x04d align=1 (i32.const 0)))
   236    (local.set 0x04e (i64.load offset=0x04e align=1 (i32.const 0)))
   237    (local.set 0x04f (i64.load offset=0x04f align=1 (i32.const 0)))
   238    (local.set 0x050 (i64.load offset=0x050 align=1 (i32.const 0)))
   239    (local.set 0x051 (i64.load offset=0x051 align=1 (i32.const 0)))
   240    (local.set 0x052 (i64.load offset=0x052 align=1 (i32.const 0)))
   241    (local.set 0x053 (i64.load offset=0x053 align=1 (i32.const 0)))
   242    (local.set 0x054 (i64.load offset=0x054 align=1 (i32.const 0)))
   243    (local.set 0x055 (i64.load offset=0x055 align=1 (i32.const 0)))
   244    (local.set 0x056 (i64.load offset=0x056 align=1 (i32.const 0)))
   245    (local.set 0x057 (i64.load offset=0x057 align=1 (i32.const 0)))
   246    (local.set 0x058 (i64.load offset=0x058 align=1 (i32.const 0)))
   247    (local.set 0x059 (i64.load offset=0x059 align=1 (i32.const 0)))
   248    (local.set 0x05a (i64.load offset=0x05a align=1 (i32.const 0)))
   249    (local.set 0x05b (i64.load offset=0x05b align=1 (i32.const 0)))
   250    (local.set 0x05c (i64.load offset=0x05c align=1 (i32.const 0)))
   251    (local.set 0x05d (i64.load offset=0x05d align=1 (i32.const 0)))
   252    (local.set 0x05e (i64.load offset=0x05e align=1 (i32.const 0)))
   253    (local.set 0x05f (i64.load offset=0x05f align=1 (i32.const 0)))
   254    (local.set 0x060 (i64.load offset=0x060 align=1 (i32.const 0)))
   255    (local.set 0x061 (i64.load offset=0x061 align=1 (i32.const 0)))
   256    (local.set 0x062 (i64.load offset=0x062 align=1 (i32.const 0)))
   257    (local.set 0x063 (i64.load offset=0x063 align=1 (i32.const 0)))
   258    (local.set 0x064 (i64.load offset=0x064 align=1 (i32.const 0)))
   259    (local.set 0x065 (i64.load offset=0x065 align=1 (i32.const 0)))
   260    (local.set 0x066 (i64.load offset=0x066 align=1 (i32.const 0)))
   261    (local.set 0x067 (i64.load offset=0x067 align=1 (i32.const 0)))
   262    (local.set 0x068 (i64.load offset=0x068 align=1 (i32.const 0)))
   263    (local.set 0x069 (i64.load offset=0x069 align=1 (i32.const 0)))
   264    (local.set 0x06a (i64.load offset=0x06a align=1 (i32.const 0)))
   265    (local.set 0x06b (i64.load offset=0x06b align=1 (i32.const 0)))
   266    (local.set 0x06c (i64.load offset=0x06c align=1 (i32.const 0)))
   267    (local.set 0x06d (i64.load offset=0x06d align=1 (i32.const 0)))
   268    (local.set 0x06e (i64.load offset=0x06e align=1 (i32.const 0)))
   269    (local.set 0x06f (i64.load offset=0x06f align=1 (i32.const 0)))
   270    (local.set 0x070 (i64.load offset=0x070 align=1 (i32.const 0)))
   271    (local.set 0x071 (i64.load offset=0x071 align=1 (i32.const 0)))
   272    (local.set 0x072 (i64.load offset=0x072 align=1 (i32.const 0)))
   273    (local.set 0x073 (i64.load offset=0x073 align=1 (i32.const 0)))
   274    (local.set 0x074 (i64.load offset=0x074 align=1 (i32.const 0)))
   275    (local.set 0x075 (i64.load offset=0x075 align=1 (i32.const 0)))
   276    (local.set 0x076 (i64.load offset=0x076 align=1 (i32.const 0)))
   277    (local.set 0x077 (i64.load offset=0x077 align=1 (i32.const 0)))
   278    (local.set 0x078 (i64.load offset=0x078 align=1 (i32.const 0)))
   279    (local.set 0x079 (i64.load offset=0x079 align=1 (i32.const 0)))
   280    (local.set 0x07a (i64.load offset=0x07a align=1 (i32.const 0)))
   281    (local.set 0x07b (i64.load offset=0x07b align=1 (i32.const 0)))
   282    (local.set 0x07c (i64.load offset=0x07c align=1 (i32.const 0)))
   283    (local.set 0x07d (i64.load offset=0x07d align=1 (i32.const 0)))
   284    (local.set 0x07e (i64.load offset=0x07e align=1 (i32.const 0)))
   285    (local.set 0x07f (i64.load offset=0x07f align=1 (i32.const 0)))
   286    (local.set 0x080 (i64.load offset=0x080 align=1 (i32.const 0)))
   287    (local.set 0x081 (i64.load offset=0x081 align=1 (i32.const 0)))
   288    (local.set 0x082 (i64.load offset=0x082 align=1 (i32.const 0)))
   289    (local.set 0x083 (i64.load offset=0x083 align=1 (i32.const 0)))
   290    (local.set 0x084 (i64.load offset=0x084 align=1 (i32.const 0)))
   291    (local.set 0x085 (i64.load offset=0x085 align=1 (i32.const 0)))
   292    (local.set 0x086 (i64.load offset=0x086 align=1 (i32.const 0)))
   293    (local.set 0x087 (i64.load offset=0x087 align=1 (i32.const 0)))
   294    (local.set 0x088 (i64.load offset=0x088 align=1 (i32.const 0)))
   295    (local.set 0x089 (i64.load offset=0x089 align=1 (i32.const 0)))
   296    (local.set 0x08a (i64.load offset=0x08a align=1 (i32.const 0)))
   297    (local.set 0x08b (i64.load offset=0x08b align=1 (i32.const 0)))
   298    (local.set 0x08c (i64.load offset=0x08c align=1 (i32.const 0)))
   299    (local.set 0x08d (i64.load offset=0x08d align=1 (i32.const 0)))
   300    (local.set 0x08e (i64.load offset=0x08e align=1 (i32.const 0)))
   301    (local.set 0x08f (i64.load offset=0x08f align=1 (i32.const 0)))
   302    (local.set 0x090 (i64.load offset=0x090 align=1 (i32.const 0)))
   303    (local.set 0x091 (i64.load offset=0x091 align=1 (i32.const 0)))
   304    (local.set 0x092 (i64.load offset=0x092 align=1 (i32.const 0)))
   305    (local.set 0x093 (i64.load offset=0x093 align=1 (i32.const 0)))
   306    (local.set 0x094 (i64.load offset=0x094 align=1 (i32.const 0)))
   307    (local.set 0x095 (i64.load offset=0x095 align=1 (i32.const 0)))
   308    (local.set 0x096 (i64.load offset=0x096 align=1 (i32.const 0)))
   309    (local.set 0x097 (i64.load offset=0x097 align=1 (i32.const 0)))
   310    (local.set 0x098 (i64.load offset=0x098 align=1 (i32.const 0)))
   311    (local.set 0x099 (i64.load offset=0x099 align=1 (i32.const 0)))
   312    (local.set 0x09a (i64.load offset=0x09a align=1 (i32.const 0)))
   313    (local.set 0x09b (i64.load offset=0x09b align=1 (i32.const 0)))
   314    (local.set 0x09c (i64.load offset=0x09c align=1 (i32.const 0)))
   315    (local.set 0x09d (i64.load offset=0x09d align=1 (i32.const 0)))
   316    (local.set 0x09e (i64.load offset=0x09e align=1 (i32.const 0)))
   317    (local.set 0x09f (i64.load offset=0x09f align=1 (i32.const 0)))
   318    (local.set 0x0a0 (i64.load offset=0x0a0 align=1 (i32.const 0)))
   319    (local.set 0x0a1 (i64.load offset=0x0a1 align=1 (i32.const 0)))
   320    (local.set 0x0a2 (i64.load offset=0x0a2 align=1 (i32.const 0)))
   321    (local.set 0x0a3 (i64.load offset=0x0a3 align=1 (i32.const 0)))
   322    (local.set 0x0a4 (i64.load offset=0x0a4 align=1 (i32.const 0)))
   323    (local.set 0x0a5 (i64.load offset=0x0a5 align=1 (i32.const 0)))
   324    (local.set 0x0a6 (i64.load offset=0x0a6 align=1 (i32.const 0)))
   325    (local.set 0x0a7 (i64.load offset=0x0a7 align=1 (i32.const 0)))
   326    (local.set 0x0a8 (i64.load offset=0x0a8 align=1 (i32.const 0)))
   327    (local.set 0x0a9 (i64.load offset=0x0a9 align=1 (i32.const 0)))
   328    (local.set 0x0aa (i64.load offset=0x0aa align=1 (i32.const 0)))
   329    (local.set 0x0ab (i64.load offset=0x0ab align=1 (i32.const 0)))
   330    (local.set 0x0ac (i64.load offset=0x0ac align=1 (i32.const 0)))
   331    (local.set 0x0ad (i64.load offset=0x0ad align=1 (i32.const 0)))
   332    (local.set 0x0ae (i64.load offset=0x0ae align=1 (i32.const 0)))
   333    (local.set 0x0af (i64.load offset=0x0af align=1 (i32.const 0)))
   334    (local.set 0x0b0 (i64.load offset=0x0b0 align=1 (i32.const 0)))
   335    (local.set 0x0b1 (i64.load offset=0x0b1 align=1 (i32.const 0)))
   336    (local.set 0x0b2 (i64.load offset=0x0b2 align=1 (i32.const 0)))
   337    (local.set 0x0b3 (i64.load offset=0x0b3 align=1 (i32.const 0)))
   338    (local.set 0x0b4 (i64.load offset=0x0b4 align=1 (i32.const 0)))
   339    (local.set 0x0b5 (i64.load offset=0x0b5 align=1 (i32.const 0)))
   340    (local.set 0x0b6 (i64.load offset=0x0b6 align=1 (i32.const 0)))
   341    (local.set 0x0b7 (i64.load offset=0x0b7 align=1 (i32.const 0)))
   342    (local.set 0x0b8 (i64.load offset=0x0b8 align=1 (i32.const 0)))
   343    (local.set 0x0b9 (i64.load offset=0x0b9 align=1 (i32.const 0)))
   344    (local.set 0x0ba (i64.load offset=0x0ba align=1 (i32.const 0)))
   345    (local.set 0x0bb (i64.load offset=0x0bb align=1 (i32.const 0)))
   346    (local.set 0x0bc (i64.load offset=0x0bc align=1 (i32.const 0)))
   347    (local.set 0x0bd (i64.load offset=0x0bd align=1 (i32.const 0)))
   348    (local.set 0x0be (i64.load offset=0x0be align=1 (i32.const 0)))
   349    (local.set 0x0bf (i64.load offset=0x0bf align=1 (i32.const 0)))
   350    (local.set 0x0c0 (i64.load offset=0x0c0 align=1 (i32.const 0)))
   351    (local.set 0x0c1 (i64.load offset=0x0c1 align=1 (i32.const 0)))
   352    (local.set 0x0c2 (i64.load offset=0x0c2 align=1 (i32.const 0)))
   353    (local.set 0x0c3 (i64.load offset=0x0c3 align=1 (i32.const 0)))
   354    (local.set 0x0c4 (i64.load offset=0x0c4 align=1 (i32.const 0)))
   355    (local.set 0x0c5 (i64.load offset=0x0c5 align=1 (i32.const 0)))
   356    (local.set 0x0c6 (i64.load offset=0x0c6 align=1 (i32.const 0)))
   357    (local.set 0x0c7 (i64.load offset=0x0c7 align=1 (i32.const 0)))
   358    (local.set 0x0c8 (i64.load offset=0x0c8 align=1 (i32.const 0)))
   359    (local.set 0x0c9 (i64.load offset=0x0c9 align=1 (i32.const 0)))
   360    (local.set 0x0ca (i64.load offset=0x0ca align=1 (i32.const 0)))
   361    (local.set 0x0cb (i64.load offset=0x0cb align=1 (i32.const 0)))
   362    (local.set 0x0cc (i64.load offset=0x0cc align=1 (i32.const 0)))
   363    (local.set 0x0cd (i64.load offset=0x0cd align=1 (i32.const 0)))
   364    (local.set 0x0ce (i64.load offset=0x0ce align=1 (i32.const 0)))
   365    (local.set 0x0cf (i64.load offset=0x0cf align=1 (i32.const 0)))
   366    (local.set 0x0d0 (i64.load offset=0x0d0 align=1 (i32.const 0)))
   367    (local.set 0x0d1 (i64.load offset=0x0d1 align=1 (i32.const 0)))
   368    (local.set 0x0d2 (i64.load offset=0x0d2 align=1 (i32.const 0)))
   369    (local.set 0x0d3 (i64.load offset=0x0d3 align=1 (i32.const 0)))
   370    (local.set 0x0d4 (i64.load offset=0x0d4 align=1 (i32.const 0)))
   371    (local.set 0x0d5 (i64.load offset=0x0d5 align=1 (i32.const 0)))
   372    (local.set 0x0d6 (i64.load offset=0x0d6 align=1 (i32.const 0)))
   373    (local.set 0x0d7 (i64.load offset=0x0d7 align=1 (i32.const 0)))
   374    (local.set 0x0d8 (i64.load offset=0x0d8 align=1 (i32.const 0)))
   375    (local.set 0x0d9 (i64.load offset=0x0d9 align=1 (i32.const 0)))
   376    (local.set 0x0da (i64.load offset=0x0da align=1 (i32.const 0)))
   377    (local.set 0x0db (i64.load offset=0x0db align=1 (i32.const 0)))
   378    (local.set 0x0dc (i64.load offset=0x0dc align=1 (i32.const 0)))
   379    (local.set 0x0dd (i64.load offset=0x0dd align=1 (i32.const 0)))
   380    (local.set 0x0de (i64.load offset=0x0de align=1 (i32.const 0)))
   381    (local.set 0x0df (i64.load offset=0x0df align=1 (i32.const 0)))
   382    (local.set 0x0e0 (i64.load offset=0x0e0 align=1 (i32.const 0)))
   383    (local.set 0x0e1 (i64.load offset=0x0e1 align=1 (i32.const 0)))
   384    (local.set 0x0e2 (i64.load offset=0x0e2 align=1 (i32.const 0)))
   385    (local.set 0x0e3 (i64.load offset=0x0e3 align=1 (i32.const 0)))
   386    (local.set 0x0e4 (i64.load offset=0x0e4 align=1 (i32.const 0)))
   387    (local.set 0x0e5 (i64.load offset=0x0e5 align=1 (i32.const 0)))
   388    (local.set 0x0e6 (i64.load offset=0x0e6 align=1 (i32.const 0)))
   389    (local.set 0x0e7 (i64.load offset=0x0e7 align=1 (i32.const 0)))
   390    (local.set 0x0e8 (i64.load offset=0x0e8 align=1 (i32.const 0)))
   391    (local.set 0x0e9 (i64.load offset=0x0e9 align=1 (i32.const 0)))
   392    (local.set 0x0ea (i64.load offset=0x0ea align=1 (i32.const 0)))
   393    (local.set 0x0eb (i64.load offset=0x0eb align=1 (i32.const 0)))
   394    (local.set 0x0ec (i64.load offset=0x0ec align=1 (i32.const 0)))
   395    (local.set 0x0ed (i64.load offset=0x0ed align=1 (i32.const 0)))
   396    (local.set 0x0ee (i64.load offset=0x0ee align=1 (i32.const 0)))
   397    (local.set 0x0ef (i64.load offset=0x0ef align=1 (i32.const 0)))
   398    (local.set 0x0f0 (i64.load offset=0x0f0 align=1 (i32.const 0)))
   399    (local.set 0x0f1 (i64.load offset=0x0f1 align=1 (i32.const 0)))
   400    (local.set 0x0f2 (i64.load offset=0x0f2 align=1 (i32.const 0)))
   401    (local.set 0x0f3 (i64.load offset=0x0f3 align=1 (i32.const 0)))
   402    (local.set 0x0f4 (i64.load offset=0x0f4 align=1 (i32.const 0)))
   403    (local.set 0x0f5 (i64.load offset=0x0f5 align=1 (i32.const 0)))
   404    (local.set 0x0f6 (i64.load offset=0x0f6 align=1 (i32.const 0)))
   405    (local.set 0x0f7 (i64.load offset=0x0f7 align=1 (i32.const 0)))
   406    (local.set 0x0f8 (i64.load offset=0x0f8 align=1 (i32.const 0)))
   407    (local.set 0x0f9 (i64.load offset=0x0f9 align=1 (i32.const 0)))
   408    (local.set 0x0fa (i64.load offset=0x0fa align=1 (i32.const 0)))
   409    (local.set 0x0fb (i64.load offset=0x0fb align=1 (i32.const 0)))
   410    (local.set 0x0fc (i64.load offset=0x0fc align=1 (i32.const 0)))
   411    (local.set 0x0fd (i64.load offset=0x0fd align=1 (i32.const 0)))
   412    (local.set 0x0fe (i64.load offset=0x0fe align=1 (i32.const 0)))
   413    (local.set 0x0ff (i64.load offset=0x0ff align=1 (i32.const 0)))
   414    (local.set 0x100 (i64.load offset=0x100 align=1 (i32.const 0)))
   415    (local.set 0x101 (i64.load offset=0x101 align=1 (i32.const 0)))
   416    (local.set 0x102 (i64.load offset=0x102 align=1 (i32.const 0)))
   417    (local.set 0x103 (i64.load offset=0x103 align=1 (i32.const 0)))
   418    (local.set 0x104 (i64.load offset=0x104 align=1 (i32.const 0)))
   419    (local.set 0x105 (i64.load offset=0x105 align=1 (i32.const 0)))
   420    (local.set 0x106 (i64.load offset=0x106 align=1 (i32.const 0)))
   421    (local.set 0x107 (i64.load offset=0x107 align=1 (i32.const 0)))
   422    (local.set 0x108 (i64.load offset=0x108 align=1 (i32.const 0)))
   423    (local.set 0x109 (i64.load offset=0x109 align=1 (i32.const 0)))
   424    (local.set 0x10a (i64.load offset=0x10a align=1 (i32.const 0)))
   425    (local.set 0x10b (i64.load offset=0x10b align=1 (i32.const 0)))
   426    (local.set 0x10c (i64.load offset=0x10c align=1 (i32.const 0)))
   427    (local.set 0x10d (i64.load offset=0x10d align=1 (i32.const 0)))
   428    (local.set 0x10e (i64.load offset=0x10e align=1 (i32.const 0)))
   429    (local.set 0x10f (i64.load offset=0x10f align=1 (i32.const 0)))
   430    (local.set 0x110 (i64.load offset=0x110 align=1 (i32.const 0)))
   431    (local.set 0x111 (i64.load offset=0x111 align=1 (i32.const 0)))
   432    (local.set 0x112 (i64.load offset=0x112 align=1 (i32.const 0)))
   433    (local.set 0x113 (i64.load offset=0x113 align=1 (i32.const 0)))
   434    (local.set 0x114 (i64.load offset=0x114 align=1 (i32.const 0)))
   435    (local.set 0x115 (i64.load offset=0x115 align=1 (i32.const 0)))
   436    (local.set 0x116 (i64.load offset=0x116 align=1 (i32.const 0)))
   437    (local.set 0x117 (i64.load offset=0x117 align=1 (i32.const 0)))
   438    (local.set 0x118 (i64.load offset=0x118 align=1 (i32.const 0)))
   439    (local.set 0x119 (i64.load offset=0x119 align=1 (i32.const 0)))
   440    (local.set 0x11a (i64.load offset=0x11a align=1 (i32.const 0)))
   441    (local.set 0x11b (i64.load offset=0x11b align=1 (i32.const 0)))
   442    (local.set 0x11c (i64.load offset=0x11c align=1 (i32.const 0)))
   443    (local.set 0x11d (i64.load offset=0x11d align=1 (i32.const 0)))
   444    (local.set 0x11e (i64.load offset=0x11e align=1 (i32.const 0)))
   445    (local.set 0x11f (i64.load offset=0x11f align=1 (i32.const 0)))
   446    (local.set 0x120 (i64.load offset=0x120 align=1 (i32.const 0)))
   447    (local.set 0x121 (i64.load offset=0x121 align=1 (i32.const 0)))
   448    (local.set 0x122 (i64.load offset=0x122 align=1 (i32.const 0)))
   449    (local.set 0x123 (i64.load offset=0x123 align=1 (i32.const 0)))
   450    (local.set 0x124 (i64.load offset=0x124 align=1 (i32.const 0)))
   451    (local.set 0x125 (i64.load offset=0x125 align=1 (i32.const 0)))
   452    (local.set 0x126 (i64.load offset=0x126 align=1 (i32.const 0)))
   453    (local.set 0x127 (i64.load offset=0x127 align=1 (i32.const 0)))
   454    (local.set 0x128 (i64.load offset=0x128 align=1 (i32.const 0)))
   455    (local.set 0x129 (i64.load offset=0x129 align=1 (i32.const 0)))
   456    (local.set 0x12a (i64.load offset=0x12a align=1 (i32.const 0)))
   457    (local.set 0x12b (i64.load offset=0x12b align=1 (i32.const 0)))
   458    (local.set 0x12c (i64.load offset=0x12c align=1 (i32.const 0)))
   459    (local.set 0x12d (i64.load offset=0x12d align=1 (i32.const 0)))
   460    (local.set 0x12e (i64.load offset=0x12e align=1 (i32.const 0)))
   461    (local.set 0x12f (i64.load offset=0x12f align=1 (i32.const 0)))
   462    (local.set 0x130 (i64.load offset=0x130 align=1 (i32.const 0)))
   463    (local.set 0x131 (i64.load offset=0x131 align=1 (i32.const 0)))
   464    (local.set 0x132 (i64.load offset=0x132 align=1 (i32.const 0)))
   465    (local.set 0x133 (i64.load offset=0x133 align=1 (i32.const 0)))
   466    (local.set 0x134 (i64.load offset=0x134 align=1 (i32.const 0)))
   467    (local.set 0x135 (i64.load offset=0x135 align=1 (i32.const 0)))
   468    (local.set 0x136 (i64.load offset=0x136 align=1 (i32.const 0)))
   469    (local.set 0x137 (i64.load offset=0x137 align=1 (i32.const 0)))
   470    (local.set 0x138 (i64.load offset=0x138 align=1 (i32.const 0)))
   471    (local.set 0x139 (i64.load offset=0x139 align=1 (i32.const 0)))
   472    (local.set 0x13a (i64.load offset=0x13a align=1 (i32.const 0)))
   473    (local.set 0x13b (i64.load offset=0x13b align=1 (i32.const 0)))
   474    (local.set 0x13c (i64.load offset=0x13c align=1 (i32.const 0)))
   475    (local.set 0x13d (i64.load offset=0x13d align=1 (i32.const 0)))
   476    (local.set 0x13e (i64.load offset=0x13e align=1 (i32.const 0)))
   477    (local.set 0x13f (i64.load offset=0x13f align=1 (i32.const 0)))
   478    (local.set 0x140 (i64.load offset=0x140 align=1 (i32.const 0)))
   479    (local.set 0x141 (i64.load offset=0x141 align=1 (i32.const 0)))
   480    (local.set 0x142 (i64.load offset=0x142 align=1 (i32.const 0)))
   481    (local.set 0x143 (i64.load offset=0x143 align=1 (i32.const 0)))
   482    (local.set 0x144 (i64.load offset=0x144 align=1 (i32.const 0)))
   483    (local.set 0x145 (i64.load offset=0x145 align=1 (i32.const 0)))
   484    (local.set 0x146 (i64.load offset=0x146 align=1 (i32.const 0)))
   485    (local.set 0x147 (i64.load offset=0x147 align=1 (i32.const 0)))
   486    (local.set 0x148 (i64.load offset=0x148 align=1 (i32.const 0)))
   487    (local.set 0x149 (i64.load offset=0x149 align=1 (i32.const 0)))
   488    (local.set 0x14a (i64.load offset=0x14a align=1 (i32.const 0)))
   489    (local.set 0x14b (i64.load offset=0x14b align=1 (i32.const 0)))
   490    (local.set 0x14c (i64.load offset=0x14c align=1 (i32.const 0)))
   491    (local.set 0x14d (i64.load offset=0x14d align=1 (i32.const 0)))
   492    (local.set 0x14e (i64.load offset=0x14e align=1 (i32.const 0)))
   493    (local.set 0x14f (i64.load offset=0x14f align=1 (i32.const 0)))
   494    (local.set 0x150 (i64.load offset=0x150 align=1 (i32.const 0)))
   495    (local.set 0x151 (i64.load offset=0x151 align=1 (i32.const 0)))
   496    (local.set 0x152 (i64.load offset=0x152 align=1 (i32.const 0)))
   497    (local.set 0x153 (i64.load offset=0x153 align=1 (i32.const 0)))
   498    (local.set 0x154 (i64.load offset=0x154 align=1 (i32.const 0)))
   499    (local.set 0x155 (i64.load offset=0x155 align=1 (i32.const 0)))
   500    (local.set 0x156 (i64.load offset=0x156 align=1 (i32.const 0)))
   501    (local.set 0x157 (i64.load offset=0x157 align=1 (i32.const 0)))
   502    (local.set 0x158 (i64.load offset=0x158 align=1 (i32.const 0)))
   503    (local.set 0x159 (i64.load offset=0x159 align=1 (i32.const 0)))
   504    (local.set 0x15a (i64.load offset=0x15a align=1 (i32.const 0)))
   505    (local.set 0x15b (i64.load offset=0x15b align=1 (i32.const 0)))
   506    (local.set 0x15c (i64.load offset=0x15c align=1 (i32.const 0)))
   507    (local.set 0x15d (i64.load offset=0x15d align=1 (i32.const 0)))
   508    (local.set 0x15e (i64.load offset=0x15e align=1 (i32.const 0)))
   509    (local.set 0x15f (i64.load offset=0x15f align=1 (i32.const 0)))
   510    (local.set 0x160 (i64.load offset=0x160 align=1 (i32.const 0)))
   511    (local.set 0x161 (i64.load offset=0x161 align=1 (i32.const 0)))
   512    (local.set 0x162 (i64.load offset=0x162 align=1 (i32.const 0)))
   513    (local.set 0x163 (i64.load offset=0x163 align=1 (i32.const 0)))
   514    (local.set 0x164 (i64.load offset=0x164 align=1 (i32.const 0)))
   515    (local.set 0x165 (i64.load offset=0x165 align=1 (i32.const 0)))
   516    (local.set 0x166 (i64.load offset=0x166 align=1 (i32.const 0)))
   517    (local.set 0x167 (i64.load offset=0x167 align=1 (i32.const 0)))
   518    (local.set 0x168 (i64.load offset=0x168 align=1 (i32.const 0)))
   519    (local.set 0x169 (i64.load offset=0x169 align=1 (i32.const 0)))
   520    (local.set 0x16a (i64.load offset=0x16a align=1 (i32.const 0)))
   521    (local.set 0x16b (i64.load offset=0x16b align=1 (i32.const 0)))
   522    (local.set 0x16c (i64.load offset=0x16c align=1 (i32.const 0)))
   523    (local.set 0x16d (i64.load offset=0x16d align=1 (i32.const 0)))
   524    (local.set 0x16e (i64.load offset=0x16e align=1 (i32.const 0)))
   525    (local.set 0x16f (i64.load offset=0x16f align=1 (i32.const 0)))
   526    (local.set 0x170 (i64.load offset=0x170 align=1 (i32.const 0)))
   527    (local.set 0x171 (i64.load offset=0x171 align=1 (i32.const 0)))
   528    (local.set 0x172 (i64.load offset=0x172 align=1 (i32.const 0)))
   529    (local.set 0x173 (i64.load offset=0x173 align=1 (i32.const 0)))
   530    (local.set 0x174 (i64.load offset=0x174 align=1 (i32.const 0)))
   531    (local.set 0x175 (i64.load offset=0x175 align=1 (i32.const 0)))
   532    (local.set 0x176 (i64.load offset=0x176 align=1 (i32.const 0)))
   533    (local.set 0x177 (i64.load offset=0x177 align=1 (i32.const 0)))
   534    (local.set 0x178 (i64.load offset=0x178 align=1 (i32.const 0)))
   535    (local.set 0x179 (i64.load offset=0x179 align=1 (i32.const 0)))
   536    (local.set 0x17a (i64.load offset=0x17a align=1 (i32.const 0)))
   537    (local.set 0x17b (i64.load offset=0x17b align=1 (i32.const 0)))
   538    (local.set 0x17c (i64.load offset=0x17c align=1 (i32.const 0)))
   539    (local.set 0x17d (i64.load offset=0x17d align=1 (i32.const 0)))
   540    (local.set 0x17e (i64.load offset=0x17e align=1 (i32.const 0)))
   541    (local.set 0x17f (i64.load offset=0x17f align=1 (i32.const 0)))
   542    (local.set 0x180 (i64.load offset=0x180 align=1 (i32.const 0)))
   543    (local.set 0x181 (i64.load offset=0x181 align=1 (i32.const 0)))
   544    (local.set 0x182 (i64.load offset=0x182 align=1 (i32.const 0)))
   545    (local.set 0x183 (i64.load offset=0x183 align=1 (i32.const 0)))
   546    (local.set 0x184 (i64.load offset=0x184 align=1 (i32.const 0)))
   547    (local.set 0x185 (i64.load offset=0x185 align=1 (i32.const 0)))
   548    (local.set 0x186 (i64.load offset=0x186 align=1 (i32.const 0)))
   549    (local.set 0x187 (i64.load offset=0x187 align=1 (i32.const 0)))
   550    (local.set 0x188 (i64.load offset=0x188 align=1 (i32.const 0)))
   551    (local.set 0x189 (i64.load offset=0x189 align=1 (i32.const 0)))
   552    (local.set 0x18a (i64.load offset=0x18a align=1 (i32.const 0)))
   553    (local.set 0x18b (i64.load offset=0x18b align=1 (i32.const 0)))
   554    (local.set 0x18c (i64.load offset=0x18c align=1 (i32.const 0)))
   555    (local.set 0x18d (i64.load offset=0x18d align=1 (i32.const 0)))
   556    (local.set 0x18e (i64.load offset=0x18e align=1 (i32.const 0)))
   557    (local.set 0x18f (i64.load offset=0x18f align=1 (i32.const 0)))
   558    (local.set 0x190 (i64.load offset=0x190 align=1 (i32.const 0)))
   559    (local.set 0x191 (i64.load offset=0x191 align=1 (i32.const 0)))
   560    (local.set 0x192 (i64.load offset=0x192 align=1 (i32.const 0)))
   561    (local.set 0x193 (i64.load offset=0x193 align=1 (i32.const 0)))
   562    (local.set 0x194 (i64.load offset=0x194 align=1 (i32.const 0)))
   563    (local.set 0x195 (i64.load offset=0x195 align=1 (i32.const 0)))
   564    (local.set 0x196 (i64.load offset=0x196 align=1 (i32.const 0)))
   565    (local.set 0x197 (i64.load offset=0x197 align=1 (i32.const 0)))
   566    (local.set 0x198 (i64.load offset=0x198 align=1 (i32.const 0)))
   567    (local.set 0x199 (i64.load offset=0x199 align=1 (i32.const 0)))
   568    (local.set 0x19a (i64.load offset=0x19a align=1 (i32.const 0)))
   569    (local.set 0x19b (i64.load offset=0x19b align=1 (i32.const 0)))
   570    (local.set 0x19c (i64.load offset=0x19c align=1 (i32.const 0)))
   571    (local.set 0x19d (i64.load offset=0x19d align=1 (i32.const 0)))
   572    (local.set 0x19e (i64.load offset=0x19e align=1 (i32.const 0)))
   573    (local.set 0x19f (i64.load offset=0x19f align=1 (i32.const 0)))
   574    (local.set 0x1a0 (i64.load offset=0x1a0 align=1 (i32.const 0)))
   575    (local.set 0x1a1 (i64.load offset=0x1a1 align=1 (i32.const 0)))
   576    (local.set 0x1a2 (i64.load offset=0x1a2 align=1 (i32.const 0)))
   577    (local.set 0x1a3 (i64.load offset=0x1a3 align=1 (i32.const 0)))
   578    (local.set 0x1a4 (i64.load offset=0x1a4 align=1 (i32.const 0)))
   579    (local.set 0x1a5 (i64.load offset=0x1a5 align=1 (i32.const 0)))
   580    (local.set 0x1a6 (i64.load offset=0x1a6 align=1 (i32.const 0)))
   581    (local.set 0x1a7 (i64.load offset=0x1a7 align=1 (i32.const 0)))
   582    (local.set 0x1a8 (i64.load offset=0x1a8 align=1 (i32.const 0)))
   583    (local.set 0x1a9 (i64.load offset=0x1a9 align=1 (i32.const 0)))
   584    (local.set 0x1aa (i64.load offset=0x1aa align=1 (i32.const 0)))
   585    (local.set 0x1ab (i64.load offset=0x1ab align=1 (i32.const 0)))
   586    (local.set 0x1ac (i64.load offset=0x1ac align=1 (i32.const 0)))
   587    (local.set 0x1ad (i64.load offset=0x1ad align=1 (i32.const 0)))
   588    (local.set 0x1ae (i64.load offset=0x1ae align=1 (i32.const 0)))
   589    (local.set 0x1af (i64.load offset=0x1af align=1 (i32.const 0)))
   590    (local.set 0x1b0 (i64.load offset=0x1b0 align=1 (i32.const 0)))
   591    (local.set 0x1b1 (i64.load offset=0x1b1 align=1 (i32.const 0)))
   592    (local.set 0x1b2 (i64.load offset=0x1b2 align=1 (i32.const 0)))
   593    (local.set 0x1b3 (i64.load offset=0x1b3 align=1 (i32.const 0)))
   594    (local.set 0x1b4 (i64.load offset=0x1b4 align=1 (i32.const 0)))
   595    (local.set 0x1b5 (i64.load offset=0x1b5 align=1 (i32.const 0)))
   596    (local.set 0x1b6 (i64.load offset=0x1b6 align=1 (i32.const 0)))
   597    (local.set 0x1b7 (i64.load offset=0x1b7 align=1 (i32.const 0)))
   598    (local.set 0x1b8 (i64.load offset=0x1b8 align=1 (i32.const 0)))
   599    (local.set 0x1b9 (i64.load offset=0x1b9 align=1 (i32.const 0)))
   600    (local.set 0x1ba (i64.load offset=0x1ba align=1 (i32.const 0)))
   601    (local.set 0x1bb (i64.load offset=0x1bb align=1 (i32.const 0)))
   602    (local.set 0x1bc (i64.load offset=0x1bc align=1 (i32.const 0)))
   603    (local.set 0x1bd (i64.load offset=0x1bd align=1 (i32.const 0)))
   604    (local.set 0x1be (i64.load offset=0x1be align=1 (i32.const 0)))
   605    (local.set 0x1bf (i64.load offset=0x1bf align=1 (i32.const 0)))
   606    (local.set 0x1c0 (i64.load offset=0x1c0 align=1 (i32.const 0)))
   607    (local.set 0x1c1 (i64.load offset=0x1c1 align=1 (i32.const 0)))
   608    (local.set 0x1c2 (i64.load offset=0x1c2 align=1 (i32.const 0)))
   609    (local.set 0x1c3 (i64.load offset=0x1c3 align=1 (i32.const 0)))
   610    (local.set 0x1c4 (i64.load offset=0x1c4 align=1 (i32.const 0)))
   611    (local.set 0x1c5 (i64.load offset=0x1c5 align=1 (i32.const 0)))
   612    (local.set 0x1c6 (i64.load offset=0x1c6 align=1 (i32.const 0)))
   613    (local.set 0x1c7 (i64.load offset=0x1c7 align=1 (i32.const 0)))
   614    (local.set 0x1c8 (i64.load offset=0x1c8 align=1 (i32.const 0)))
   615    (local.set 0x1c9 (i64.load offset=0x1c9 align=1 (i32.const 0)))
   616    (local.set 0x1ca (i64.load offset=0x1ca align=1 (i32.const 0)))
   617    (local.set 0x1cb (i64.load offset=0x1cb align=1 (i32.const 0)))
   618    (local.set 0x1cc (i64.load offset=0x1cc align=1 (i32.const 0)))
   619    (local.set 0x1cd (i64.load offset=0x1cd align=1 (i32.const 0)))
   620    (local.set 0x1ce (i64.load offset=0x1ce align=1 (i32.const 0)))
   621    (local.set 0x1cf (i64.load offset=0x1cf align=1 (i32.const 0)))
   622    (local.set 0x1d0 (i64.load offset=0x1d0 align=1 (i32.const 0)))
   623    (local.set 0x1d1 (i64.load offset=0x1d1 align=1 (i32.const 0)))
   624    (local.set 0x1d2 (i64.load offset=0x1d2 align=1 (i32.const 0)))
   625    (local.set 0x1d3 (i64.load offset=0x1d3 align=1 (i32.const 0)))
   626    (local.set 0x1d4 (i64.load offset=0x1d4 align=1 (i32.const 0)))
   627    (local.set 0x1d5 (i64.load offset=0x1d5 align=1 (i32.const 0)))
   628    (local.set 0x1d6 (i64.load offset=0x1d6 align=1 (i32.const 0)))
   629    (local.set 0x1d7 (i64.load offset=0x1d7 align=1 (i32.const 0)))
   630    (local.set 0x1d8 (i64.load offset=0x1d8 align=1 (i32.const 0)))
   631    (local.set 0x1d9 (i64.load offset=0x1d9 align=1 (i32.const 0)))
   632    (local.set 0x1da (i64.load offset=0x1da align=1 (i32.const 0)))
   633    (local.set 0x1db (i64.load offset=0x1db align=1 (i32.const 0)))
   634    (local.set 0x1dc (i64.load offset=0x1dc align=1 (i32.const 0)))
   635    (local.set 0x1dd (i64.load offset=0x1dd align=1 (i32.const 0)))
   636    (local.set 0x1de (i64.load offset=0x1de align=1 (i32.const 0)))
   637    (local.set 0x1df (i64.load offset=0x1df align=1 (i32.const 0)))
   638    (local.set 0x1e0 (i64.load offset=0x1e0 align=1 (i32.const 0)))
   639    (local.set 0x1e1 (i64.load offset=0x1e1 align=1 (i32.const 0)))
   640    (local.set 0x1e2 (i64.load offset=0x1e2 align=1 (i32.const 0)))
   641    (local.set 0x1e3 (i64.load offset=0x1e3 align=1 (i32.const 0)))
   642    (local.set 0x1e4 (i64.load offset=0x1e4 align=1 (i32.const 0)))
   643    (local.set 0x1e5 (i64.load offset=0x1e5 align=1 (i32.const 0)))
   644    (local.set 0x1e6 (i64.load offset=0x1e6 align=1 (i32.const 0)))
   645    (local.set 0x1e7 (i64.load offset=0x1e7 align=1 (i32.const 0)))
   646    (local.set 0x1e8 (i64.load offset=0x1e8 align=1 (i32.const 0)))
   647    (local.set 0x1e9 (i64.load offset=0x1e9 align=1 (i32.const 0)))
   648    (local.set 0x1ea (i64.load offset=0x1ea align=1 (i32.const 0)))
   649    (local.set 0x1eb (i64.load offset=0x1eb align=1 (i32.const 0)))
   650    (local.set 0x1ec (i64.load offset=0x1ec align=1 (i32.const 0)))
   651    (local.set 0x1ed (i64.load offset=0x1ed align=1 (i32.const 0)))
   652    (local.set 0x1ee (i64.load offset=0x1ee align=1 (i32.const 0)))
   653    (local.set 0x1ef (i64.load offset=0x1ef align=1 (i32.const 0)))
   654    (local.set 0x1f0 (i64.load offset=0x1f0 align=1 (i32.const 0)))
   655    (local.set 0x1f1 (i64.load offset=0x1f1 align=1 (i32.const 0)))
   656    (local.set 0x1f2 (i64.load offset=0x1f2 align=1 (i32.const 0)))
   657    (local.set 0x1f3 (i64.load offset=0x1f3 align=1 (i32.const 0)))
   658    (local.set 0x1f4 (i64.load offset=0x1f4 align=1 (i32.const 0)))
   659    (local.set 0x1f5 (i64.load offset=0x1f5 align=1 (i32.const 0)))
   660    (local.set 0x1f6 (i64.load offset=0x1f6 align=1 (i32.const 0)))
   661    (local.set 0x1f7 (i64.load offset=0x1f7 align=1 (i32.const 0)))
   662    (local.set 0x1f8 (i64.load offset=0x1f8 align=1 (i32.const 0)))
   663    (local.set 0x1f9 (i64.load offset=0x1f9 align=1 (i32.const 0)))
   664    (local.set 0x1fa (i64.load offset=0x1fa align=1 (i32.const 0)))
   665    (local.set 0x1fb (i64.load offset=0x1fb align=1 (i32.const 0)))
   666    (local.set 0x1fc (i64.load offset=0x1fc align=1 (i32.const 0)))
   667    (local.set 0x1fd (i64.load offset=0x1fd align=1 (i32.const 0)))
   668    (local.set 0x1fe (i64.load offset=0x1fe align=1 (i32.const 0)))
   669    (local.set 0x1ff (i64.load offset=0x1ff align=1 (i32.const 0)))
   670    (local.set 0x200 (i64.load offset=0x200 align=1 (i32.const 0)))
   671    (local.set 0x201 (i64.load offset=0x201 align=1 (i32.const 0)))
   672    (local.set 0x202 (i64.load offset=0x202 align=1 (i32.const 0)))
   673    (local.set 0x203 (i64.load offset=0x203 align=1 (i32.const 0)))
   674    (local.set 0x204 (i64.load offset=0x204 align=1 (i32.const 0)))
   675    (local.set 0x205 (i64.load offset=0x205 align=1 (i32.const 0)))
   676    (local.set 0x206 (i64.load offset=0x206 align=1 (i32.const 0)))
   677    (local.set 0x207 (i64.load offset=0x207 align=1 (i32.const 0)))
   678    (local.set 0x208 (i64.load offset=0x208 align=1 (i32.const 0)))
   679    (local.set 0x209 (i64.load offset=0x209 align=1 (i32.const 0)))
   680    (local.set 0x20a (i64.load offset=0x20a align=1 (i32.const 0)))
   681    (local.set 0x20b (i64.load offset=0x20b align=1 (i32.const 0)))
   682    (local.set 0x20c (i64.load offset=0x20c align=1 (i32.const 0)))
   683    (local.set 0x20d (i64.load offset=0x20d align=1 (i32.const 0)))
   684    (local.set 0x20e (i64.load offset=0x20e align=1 (i32.const 0)))
   685    (local.set 0x20f (i64.load offset=0x20f align=1 (i32.const 0)))
   686    (local.set 0x210 (i64.load offset=0x210 align=1 (i32.const 0)))
   687    (local.set 0x211 (i64.load offset=0x211 align=1 (i32.const 0)))
   688    (local.set 0x212 (i64.load offset=0x212 align=1 (i32.const 0)))
   689    (local.set 0x213 (i64.load offset=0x213 align=1 (i32.const 0)))
   690    (local.set 0x214 (i64.load offset=0x214 align=1 (i32.const 0)))
   691    (local.set 0x215 (i64.load offset=0x215 align=1 (i32.const 0)))
   692    (local.set 0x216 (i64.load offset=0x216 align=1 (i32.const 0)))
   693    (local.set 0x217 (i64.load offset=0x217 align=1 (i32.const 0)))
   694    (local.set 0x218 (i64.load offset=0x218 align=1 (i32.const 0)))
   695    (local.set 0x219 (i64.load offset=0x219 align=1 (i32.const 0)))
   696    (local.set 0x21a (i64.load offset=0x21a align=1 (i32.const 0)))
   697    (local.set 0x21b (i64.load offset=0x21b align=1 (i32.const 0)))
   698    (local.set 0x21c (i64.load offset=0x21c align=1 (i32.const 0)))
   699    (local.set 0x21d (i64.load offset=0x21d align=1 (i32.const 0)))
   700    (local.set 0x21e (i64.load offset=0x21e align=1 (i32.const 0)))
   701    (local.set 0x21f (i64.load offset=0x21f align=1 (i32.const 0)))
   702    (local.set 0x220 (i64.load offset=0x220 align=1 (i32.const 0)))
   703    (local.set 0x221 (i64.load offset=0x221 align=1 (i32.const 0)))
   704    (local.set 0x222 (i64.load offset=0x222 align=1 (i32.const 0)))
   705    (local.set 0x223 (i64.load offset=0x223 align=1 (i32.const 0)))
   706    (local.set 0x224 (i64.load offset=0x224 align=1 (i32.const 0)))
   707    (local.set 0x225 (i64.load offset=0x225 align=1 (i32.const 0)))
   708    (local.set 0x226 (i64.load offset=0x226 align=1 (i32.const 0)))
   709    (local.set 0x227 (i64.load offset=0x227 align=1 (i32.const 0)))
   710    (local.set 0x228 (i64.load offset=0x228 align=1 (i32.const 0)))
   711    (local.set 0x229 (i64.load offset=0x229 align=1 (i32.const 0)))
   712    (local.set 0x22a (i64.load offset=0x22a align=1 (i32.const 0)))
   713    (local.set 0x22b (i64.load offset=0x22b align=1 (i32.const 0)))
   714    (local.set 0x22c (i64.load offset=0x22c align=1 (i32.const 0)))
   715    (local.set 0x22d (i64.load offset=0x22d align=1 (i32.const 0)))
   716    (local.set 0x22e (i64.load offset=0x22e align=1 (i32.const 0)))
   717    (local.set 0x22f (i64.load offset=0x22f align=1 (i32.const 0)))
   718    (local.set 0x230 (i64.load offset=0x230 align=1 (i32.const 0)))
   719    (local.set 0x231 (i64.load offset=0x231 align=1 (i32.const 0)))
   720    (local.set 0x232 (i64.load offset=0x232 align=1 (i32.const 0)))
   721    (local.set 0x233 (i64.load offset=0x233 align=1 (i32.const 0)))
   722    (local.set 0x234 (i64.load offset=0x234 align=1 (i32.const 0)))
   723    (local.set 0x235 (i64.load offset=0x235 align=1 (i32.const 0)))
   724    (local.set 0x236 (i64.load offset=0x236 align=1 (i32.const 0)))
   725    (local.set 0x237 (i64.load offset=0x237 align=1 (i32.const 0)))
   726    (local.set 0x238 (i64.load offset=0x238 align=1 (i32.const 0)))
   727    (local.set 0x239 (i64.load offset=0x239 align=1 (i32.const 0)))
   728    (local.set 0x23a (i64.load offset=0x23a align=1 (i32.const 0)))
   729    (local.set 0x23b (i64.load offset=0x23b align=1 (i32.const 0)))
   730    (local.set 0x23c (i64.load offset=0x23c align=1 (i32.const 0)))
   731    (local.set 0x23d (i64.load offset=0x23d align=1 (i32.const 0)))
   732    (local.set 0x23e (i64.load offset=0x23e align=1 (i32.const 0)))
   733    (local.set 0x23f (i64.load offset=0x23f align=1 (i32.const 0)))
   734    (local.set 0x240 (i64.load offset=0x240 align=1 (i32.const 0)))
   735    (local.set 0x241 (i64.load offset=0x241 align=1 (i32.const 0)))
   736    (local.set 0x242 (i64.load offset=0x242 align=1 (i32.const 0)))
   737    (local.set 0x243 (i64.load offset=0x243 align=1 (i32.const 0)))
   738    (local.set 0x244 (i64.load offset=0x244 align=1 (i32.const 0)))
   739    (local.set 0x245 (i64.load offset=0x245 align=1 (i32.const 0)))
   740    (local.set 0x246 (i64.load offset=0x246 align=1 (i32.const 0)))
   741    (local.set 0x247 (i64.load offset=0x247 align=1 (i32.const 0)))
   742    (local.set 0x248 (i64.load offset=0x248 align=1 (i32.const 0)))
   743    (local.set 0x249 (i64.load offset=0x249 align=1 (i32.const 0)))
   744    (local.set 0x24a (i64.load offset=0x24a align=1 (i32.const 0)))
   745    (local.set 0x24b (i64.load offset=0x24b align=1 (i32.const 0)))
   746    (local.set 0x24c (i64.load offset=0x24c align=1 (i32.const 0)))
   747    (local.set 0x24d (i64.load offset=0x24d align=1 (i32.const 0)))
   748    (local.set 0x24e (i64.load offset=0x24e align=1 (i32.const 0)))
   749    (local.set 0x24f (i64.load offset=0x24f align=1 (i32.const 0)))
   750    (local.set 0x250 (i64.load offset=0x250 align=1 (i32.const 0)))
   751    (local.set 0x251 (i64.load offset=0x251 align=1 (i32.const 0)))
   752    (local.set 0x252 (i64.load offset=0x252 align=1 (i32.const 0)))
   753    (local.set 0x253 (i64.load offset=0x253 align=1 (i32.const 0)))
   754    (local.set 0x254 (i64.load offset=0x254 align=1 (i32.const 0)))
   755    (local.set 0x255 (i64.load offset=0x255 align=1 (i32.const 0)))
   756    (local.set 0x256 (i64.load offset=0x256 align=1 (i32.const 0)))
   757    (local.set 0x257 (i64.load offset=0x257 align=1 (i32.const 0)))
   758    (local.set 0x258 (i64.load offset=0x258 align=1 (i32.const 0)))
   759    (local.set 0x259 (i64.load offset=0x259 align=1 (i32.const 0)))
   760    (local.set 0x25a (i64.load offset=0x25a align=1 (i32.const 0)))
   761    (local.set 0x25b (i64.load offset=0x25b align=1 (i32.const 0)))
   762    (local.set 0x25c (i64.load offset=0x25c align=1 (i32.const 0)))
   763    (local.set 0x25d (i64.load offset=0x25d align=1 (i32.const 0)))
   764    (local.set 0x25e (i64.load offset=0x25e align=1 (i32.const 0)))
   765    (local.set 0x25f (i64.load offset=0x25f align=1 (i32.const 0)))
   766    (local.set 0x260 (i64.load offset=0x260 align=1 (i32.const 0)))
   767    (local.set 0x261 (i64.load offset=0x261 align=1 (i32.const 0)))
   768    (local.set 0x262 (i64.load offset=0x262 align=1 (i32.const 0)))
   769    (local.set 0x263 (i64.load offset=0x263 align=1 (i32.const 0)))
   770    (local.set 0x264 (i64.load offset=0x264 align=1 (i32.const 0)))
   771    (local.set 0x265 (i64.load offset=0x265 align=1 (i32.const 0)))
   772    (local.set 0x266 (i64.load offset=0x266 align=1 (i32.const 0)))
   773    (local.set 0x267 (i64.load offset=0x267 align=1 (i32.const 0)))
   774    (local.set 0x268 (i64.load offset=0x268 align=1 (i32.const 0)))
   775    (local.set 0x269 (i64.load offset=0x269 align=1 (i32.const 0)))
   776    (local.set 0x26a (i64.load offset=0x26a align=1 (i32.const 0)))
   777    (local.set 0x26b (i64.load offset=0x26b align=1 (i32.const 0)))
   778    (local.set 0x26c (i64.load offset=0x26c align=1 (i32.const 0)))
   779    (local.set 0x26d (i64.load offset=0x26d align=1 (i32.const 0)))
   780    (local.set 0x26e (i64.load offset=0x26e align=1 (i32.const 0)))
   781    (local.set 0x26f (i64.load offset=0x26f align=1 (i32.const 0)))
   782    (local.set 0x270 (i64.load offset=0x270 align=1 (i32.const 0)))
   783    (local.set 0x271 (i64.load offset=0x271 align=1 (i32.const 0)))
   784    (local.set 0x272 (i64.load offset=0x272 align=1 (i32.const 0)))
   785    (local.set 0x273 (i64.load offset=0x273 align=1 (i32.const 0)))
   786    (local.set 0x274 (i64.load offset=0x274 align=1 (i32.const 0)))
   787    (local.set 0x275 (i64.load offset=0x275 align=1 (i32.const 0)))
   788    (local.set 0x276 (i64.load offset=0x276 align=1 (i32.const 0)))
   789    (local.set 0x277 (i64.load offset=0x277 align=1 (i32.const 0)))
   790    (local.set 0x278 (i64.load offset=0x278 align=1 (i32.const 0)))
   791    (local.set 0x279 (i64.load offset=0x279 align=1 (i32.const 0)))
   792    (local.set 0x27a (i64.load offset=0x27a align=1 (i32.const 0)))
   793    (local.set 0x27b (i64.load offset=0x27b align=1 (i32.const 0)))
   794    (local.set 0x27c (i64.load offset=0x27c align=1 (i32.const 0)))
   795    (local.set 0x27d (i64.load offset=0x27d align=1 (i32.const 0)))
   796    (local.set 0x27e (i64.load offset=0x27e align=1 (i32.const 0)))
   797    (local.set 0x27f (i64.load offset=0x27f align=1 (i32.const 0)))
   798    (local.set 0x280 (i64.load offset=0x280 align=1 (i32.const 0)))
   799    (local.set 0x281 (i64.load offset=0x281 align=1 (i32.const 0)))
   800    (local.set 0x282 (i64.load offset=0x282 align=1 (i32.const 0)))
   801    (local.set 0x283 (i64.load offset=0x283 align=1 (i32.const 0)))
   802    (local.set 0x284 (i64.load offset=0x284 align=1 (i32.const 0)))
   803    (local.set 0x285 (i64.load offset=0x285 align=1 (i32.const 0)))
   804    (local.set 0x286 (i64.load offset=0x286 align=1 (i32.const 0)))
   805    (local.set 0x287 (i64.load offset=0x287 align=1 (i32.const 0)))
   806    (local.set 0x288 (i64.load offset=0x288 align=1 (i32.const 0)))
   807    (local.set 0x289 (i64.load offset=0x289 align=1 (i32.const 0)))
   808    (local.set 0x28a (i64.load offset=0x28a align=1 (i32.const 0)))
   809    (local.set 0x28b (i64.load offset=0x28b align=1 (i32.const 0)))
   810    (local.set 0x28c (i64.load offset=0x28c align=1 (i32.const 0)))
   811    (local.set 0x28d (i64.load offset=0x28d align=1 (i32.const 0)))
   812    (local.set 0x28e (i64.load offset=0x28e align=1 (i32.const 0)))
   813    (local.set 0x28f (i64.load offset=0x28f align=1 (i32.const 0)))
   814    (local.set 0x290 (i64.load offset=0x290 align=1 (i32.const 0)))
   815    (local.set 0x291 (i64.load offset=0x291 align=1 (i32.const 0)))
   816    (local.set 0x292 (i64.load offset=0x292 align=1 (i32.const 0)))
   817    (local.set 0x293 (i64.load offset=0x293 align=1 (i32.const 0)))
   818    (local.set 0x294 (i64.load offset=0x294 align=1 (i32.const 0)))
   819    (local.set 0x295 (i64.load offset=0x295 align=1 (i32.const 0)))
   820    (local.set 0x296 (i64.load offset=0x296 align=1 (i32.const 0)))
   821    (local.set 0x297 (i64.load offset=0x297 align=1 (i32.const 0)))
   822    (local.set 0x298 (i64.load offset=0x298 align=1 (i32.const 0)))
   823    (local.set 0x299 (i64.load offset=0x299 align=1 (i32.const 0)))
   824    (local.set 0x29a (i64.load offset=0x29a align=1 (i32.const 0)))
   825    (local.set 0x29b (i64.load offset=0x29b align=1 (i32.const 0)))
   826    (local.set 0x29c (i64.load offset=0x29c align=1 (i32.const 0)))
   827    (local.set 0x29d (i64.load offset=0x29d align=1 (i32.const 0)))
   828    (local.set 0x29e (i64.load offset=0x29e align=1 (i32.const 0)))
   829    (local.set 0x29f (i64.load offset=0x29f align=1 (i32.const 0)))
   830    (local.set 0x2a0 (i64.load offset=0x2a0 align=1 (i32.const 0)))
   831    (local.set 0x2a1 (i64.load offset=0x2a1 align=1 (i32.const 0)))
   832    (local.set 0x2a2 (i64.load offset=0x2a2 align=1 (i32.const 0)))
   833    (local.set 0x2a3 (i64.load offset=0x2a3 align=1 (i32.const 0)))
   834    (local.set 0x2a4 (i64.load offset=0x2a4 align=1 (i32.const 0)))
   835    (local.set 0x2a5 (i64.load offset=0x2a5 align=1 (i32.const 0)))
   836    (local.set 0x2a6 (i64.load offset=0x2a6 align=1 (i32.const 0)))
   837    (local.set 0x2a7 (i64.load offset=0x2a7 align=1 (i32.const 0)))
   838    (local.set 0x2a8 (i64.load offset=0x2a8 align=1 (i32.const 0)))
   839    (local.set 0x2a9 (i64.load offset=0x2a9 align=1 (i32.const 0)))
   840    (local.set 0x2aa (i64.load offset=0x2aa align=1 (i32.const 0)))
   841    (local.set 0x2ab (i64.load offset=0x2ab align=1 (i32.const 0)))
   842    (local.set 0x2ac (i64.load offset=0x2ac align=1 (i32.const 0)))
   843    (local.set 0x2ad (i64.load offset=0x2ad align=1 (i32.const 0)))
   844    (local.set 0x2ae (i64.load offset=0x2ae align=1 (i32.const 0)))
   845    (local.set 0x2af (i64.load offset=0x2af align=1 (i32.const 0)))
   846    (local.set 0x2b0 (i64.load offset=0x2b0 align=1 (i32.const 0)))
   847    (local.set 0x2b1 (i64.load offset=0x2b1 align=1 (i32.const 0)))
   848    (local.set 0x2b2 (i64.load offset=0x2b2 align=1 (i32.const 0)))
   849    (local.set 0x2b3 (i64.load offset=0x2b3 align=1 (i32.const 0)))
   850    (local.set 0x2b4 (i64.load offset=0x2b4 align=1 (i32.const 0)))
   851    (local.set 0x2b5 (i64.load offset=0x2b5 align=1 (i32.const 0)))
   852    (local.set 0x2b6 (i64.load offset=0x2b6 align=1 (i32.const 0)))
   853    (local.set 0x2b7 (i64.load offset=0x2b7 align=1 (i32.const 0)))
   854    (local.set 0x2b8 (i64.load offset=0x2b8 align=1 (i32.const 0)))
   855    (local.set 0x2b9 (i64.load offset=0x2b9 align=1 (i32.const 0)))
   856    (local.set 0x2ba (i64.load offset=0x2ba align=1 (i32.const 0)))
   857    (local.set 0x2bb (i64.load offset=0x2bb align=1 (i32.const 0)))
   858    (local.set 0x2bc (i64.load offset=0x2bc align=1 (i32.const 0)))
   859    (local.set 0x2bd (i64.load offset=0x2bd align=1 (i32.const 0)))
   860    (local.set 0x2be (i64.load offset=0x2be align=1 (i32.const 0)))
   861    (local.set 0x2bf (i64.load offset=0x2bf align=1 (i32.const 0)))
   862    (local.set 0x2c0 (i64.load offset=0x2c0 align=1 (i32.const 0)))
   863    (local.set 0x2c1 (i64.load offset=0x2c1 align=1 (i32.const 0)))
   864    (local.set 0x2c2 (i64.load offset=0x2c2 align=1 (i32.const 0)))
   865    (local.set 0x2c3 (i64.load offset=0x2c3 align=1 (i32.const 0)))
   866    (local.set 0x2c4 (i64.load offset=0x2c4 align=1 (i32.const 0)))
   867    (local.set 0x2c5 (i64.load offset=0x2c5 align=1 (i32.const 0)))
   868    (local.set 0x2c6 (i64.load offset=0x2c6 align=1 (i32.const 0)))
   869    (local.set 0x2c7 (i64.load offset=0x2c7 align=1 (i32.const 0)))
   870    (local.set 0x2c8 (i64.load offset=0x2c8 align=1 (i32.const 0)))
   871    (local.set 0x2c9 (i64.load offset=0x2c9 align=1 (i32.const 0)))
   872    (local.set 0x2ca (i64.load offset=0x2ca align=1 (i32.const 0)))
   873    (local.set 0x2cb (i64.load offset=0x2cb align=1 (i32.const 0)))
   874    (local.set 0x2cc (i64.load offset=0x2cc align=1 (i32.const 0)))
   875    (local.set 0x2cd (i64.load offset=0x2cd align=1 (i32.const 0)))
   876    (local.set 0x2ce (i64.load offset=0x2ce align=1 (i32.const 0)))
   877    (local.set 0x2cf (i64.load offset=0x2cf align=1 (i32.const 0)))
   878    (local.set 0x2d0 (i64.load offset=0x2d0 align=1 (i32.const 0)))
   879    (local.set 0x2d1 (i64.load offset=0x2d1 align=1 (i32.const 0)))
   880    (local.set 0x2d2 (i64.load offset=0x2d2 align=1 (i32.const 0)))
   881    (local.set 0x2d3 (i64.load offset=0x2d3 align=1 (i32.const 0)))
   882    (local.set 0x2d4 (i64.load offset=0x2d4 align=1 (i32.const 0)))
   883    (local.set 0x2d5 (i64.load offset=0x2d5 align=1 (i32.const 0)))
   884    (local.set 0x2d6 (i64.load offset=0x2d6 align=1 (i32.const 0)))
   885    (local.set 0x2d7 (i64.load offset=0x2d7 align=1 (i32.const 0)))
   886    (local.set 0x2d8 (i64.load offset=0x2d8 align=1 (i32.const 0)))
   887    (local.set 0x2d9 (i64.load offset=0x2d9 align=1 (i32.const 0)))
   888    (local.set 0x2da (i64.load offset=0x2da align=1 (i32.const 0)))
   889    (local.set 0x2db (i64.load offset=0x2db align=1 (i32.const 0)))
   890    (local.set 0x2dc (i64.load offset=0x2dc align=1 (i32.const 0)))
   891    (local.set 0x2dd (i64.load offset=0x2dd align=1 (i32.const 0)))
   892    (local.set 0x2de (i64.load offset=0x2de align=1 (i32.const 0)))
   893    (local.set 0x2df (i64.load offset=0x2df align=1 (i32.const 0)))
   894    (local.set 0x2e0 (i64.load offset=0x2e0 align=1 (i32.const 0)))
   895    (local.set 0x2e1 (i64.load offset=0x2e1 align=1 (i32.const 0)))
   896    (local.set 0x2e2 (i64.load offset=0x2e2 align=1 (i32.const 0)))
   897    (local.set 0x2e3 (i64.load offset=0x2e3 align=1 (i32.const 0)))
   898    (local.set 0x2e4 (i64.load offset=0x2e4 align=1 (i32.const 0)))
   899    (local.set 0x2e5 (i64.load offset=0x2e5 align=1 (i32.const 0)))
   900    (local.set 0x2e6 (i64.load offset=0x2e6 align=1 (i32.const 0)))
   901    (local.set 0x2e7 (i64.load offset=0x2e7 align=1 (i32.const 0)))
   902    (local.set 0x2e8 (i64.load offset=0x2e8 align=1 (i32.const 0)))
   903    (local.set 0x2e9 (i64.load offset=0x2e9 align=1 (i32.const 0)))
   904    (local.set 0x2ea (i64.load offset=0x2ea align=1 (i32.const 0)))
   905    (local.set 0x2eb (i64.load offset=0x2eb align=1 (i32.const 0)))
   906    (local.set 0x2ec (i64.load offset=0x2ec align=1 (i32.const 0)))
   907    (local.set 0x2ed (i64.load offset=0x2ed align=1 (i32.const 0)))
   908    (local.set 0x2ee (i64.load offset=0x2ee align=1 (i32.const 0)))
   909    (local.set 0x2ef (i64.load offset=0x2ef align=1 (i32.const 0)))
   910    (local.set 0x2f0 (i64.load offset=0x2f0 align=1 (i32.const 0)))
   911    (local.set 0x2f1 (i64.load offset=0x2f1 align=1 (i32.const 0)))
   912    (local.set 0x2f2 (i64.load offset=0x2f2 align=1 (i32.const 0)))
   913    (local.set 0x2f3 (i64.load offset=0x2f3 align=1 (i32.const 0)))
   914    (local.set 0x2f4 (i64.load offset=0x2f4 align=1 (i32.const 0)))
   915    (local.set 0x2f5 (i64.load offset=0x2f5 align=1 (i32.const 0)))
   916    (local.set 0x2f6 (i64.load offset=0x2f6 align=1 (i32.const 0)))
   917    (local.set 0x2f7 (i64.load offset=0x2f7 align=1 (i32.const 0)))
   918    (local.set 0x2f8 (i64.load offset=0x2f8 align=1 (i32.const 0)))
   919    (local.set 0x2f9 (i64.load offset=0x2f9 align=1 (i32.const 0)))
   920    (local.set 0x2fa (i64.load offset=0x2fa align=1 (i32.const 0)))
   921    (local.set 0x2fb (i64.load offset=0x2fb align=1 (i32.const 0)))
   922    (local.set 0x2fc (i64.load offset=0x2fc align=1 (i32.const 0)))
   923    (local.set 0x2fd (i64.load offset=0x2fd align=1 (i32.const 0)))
   924    (local.set 0x2fe (i64.load offset=0x2fe align=1 (i32.const 0)))
   925    (local.set 0x2ff (i64.load offset=0x2ff align=1 (i32.const 0)))
   926    (local.set 0x300 (i64.load offset=0x300 align=1 (i32.const 0)))
   927    (local.set 0x301 (i64.load offset=0x301 align=1 (i32.const 0)))
   928    (local.set 0x302 (i64.load offset=0x302 align=1 (i32.const 0)))
   929    (local.set 0x303 (i64.load offset=0x303 align=1 (i32.const 0)))
   930    (local.set 0x304 (i64.load offset=0x304 align=1 (i32.const 0)))
   931    (local.set 0x305 (i64.load offset=0x305 align=1 (i32.const 0)))
   932    (local.set 0x306 (i64.load offset=0x306 align=1 (i32.const 0)))
   933    (local.set 0x307 (i64.load offset=0x307 align=1 (i32.const 0)))
   934    (local.set 0x308 (i64.load offset=0x308 align=1 (i32.const 0)))
   935    (local.set 0x309 (i64.load offset=0x309 align=1 (i32.const 0)))
   936    (local.set 0x30a (i64.load offset=0x30a align=1 (i32.const 0)))
   937    (local.set 0x30b (i64.load offset=0x30b align=1 (i32.const 0)))
   938    (local.set 0x30c (i64.load offset=0x30c align=1 (i32.const 0)))
   939    (local.set 0x30d (i64.load offset=0x30d align=1 (i32.const 0)))
   940    (local.set 0x30e (i64.load offset=0x30e align=1 (i32.const 0)))
   941    (local.set 0x30f (i64.load offset=0x30f align=1 (i32.const 0)))
   942    (local.set 0x310 (i64.load offset=0x310 align=1 (i32.const 0)))
   943    (local.set 0x311 (i64.load offset=0x311 align=1 (i32.const 0)))
   944    (local.set 0x312 (i64.load offset=0x312 align=1 (i32.const 0)))
   945    (local.set 0x313 (i64.load offset=0x313 align=1 (i32.const 0)))
   946    (local.set 0x314 (i64.load offset=0x314 align=1 (i32.const 0)))
   947    (local.set 0x315 (i64.load offset=0x315 align=1 (i32.const 0)))
   948    (local.set 0x316 (i64.load offset=0x316 align=1 (i32.const 0)))
   949    (local.set 0x317 (i64.load offset=0x317 align=1 (i32.const 0)))
   950    (local.set 0x318 (i64.load offset=0x318 align=1 (i32.const 0)))
   951    (local.set 0x319 (i64.load offset=0x319 align=1 (i32.const 0)))
   952    (local.set 0x31a (i64.load offset=0x31a align=1 (i32.const 0)))
   953    (local.set 0x31b (i64.load offset=0x31b align=1 (i32.const 0)))
   954    (local.set 0x31c (i64.load offset=0x31c align=1 (i32.const 0)))
   955    (local.set 0x31d (i64.load offset=0x31d align=1 (i32.const 0)))
   956    (local.set 0x31e (i64.load offset=0x31e align=1 (i32.const 0)))
   957    (local.set 0x31f (i64.load offset=0x31f align=1 (i32.const 0)))
   958    (local.set 0x320 (i64.load offset=0x320 align=1 (i32.const 0)))
   959    (local.set 0x321 (i64.load offset=0x321 align=1 (i32.const 0)))
   960    (local.set 0x322 (i64.load offset=0x322 align=1 (i32.const 0)))
   961    (local.set 0x323 (i64.load offset=0x323 align=1 (i32.const 0)))
   962    (local.set 0x324 (i64.load offset=0x324 align=1 (i32.const 0)))
   963    (local.set 0x325 (i64.load offset=0x325 align=1 (i32.const 0)))
   964    (local.set 0x326 (i64.load offset=0x326 align=1 (i32.const 0)))
   965    (local.set 0x327 (i64.load offset=0x327 align=1 (i32.const 0)))
   966    (local.set 0x328 (i64.load offset=0x328 align=1 (i32.const 0)))
   967    (local.set 0x329 (i64.load offset=0x329 align=1 (i32.const 0)))
   968    (local.set 0x32a (i64.load offset=0x32a align=1 (i32.const 0)))
   969    (local.set 0x32b (i64.load offset=0x32b align=1 (i32.const 0)))
   970    (local.set 0x32c (i64.load offset=0x32c align=1 (i32.const 0)))
   971    (local.set 0x32d (i64.load offset=0x32d align=1 (i32.const 0)))
   972    (local.set 0x32e (i64.load offset=0x32e align=1 (i32.const 0)))
   973    (local.set 0x32f (i64.load offset=0x32f align=1 (i32.const 0)))
   974    (local.set 0x330 (i64.load offset=0x330 align=1 (i32.const 0)))
   975    (local.set 0x331 (i64.load offset=0x331 align=1 (i32.const 0)))
   976    (local.set 0x332 (i64.load offset=0x332 align=1 (i32.const 0)))
   977    (local.set 0x333 (i64.load offset=0x333 align=1 (i32.const 0)))
   978    (local.set 0x334 (i64.load offset=0x334 align=1 (i32.const 0)))
   979    (local.set 0x335 (i64.load offset=0x335 align=1 (i32.const 0)))
   980    (local.set 0x336 (i64.load offset=0x336 align=1 (i32.const 0)))
   981    (local.set 0x337 (i64.load offset=0x337 align=1 (i32.const 0)))
   982    (local.set 0x338 (i64.load offset=0x338 align=1 (i32.const 0)))
   983    (local.set 0x339 (i64.load offset=0x339 align=1 (i32.const 0)))
   984    (local.set 0x33a (i64.load offset=0x33a align=1 (i32.const 0)))
   985    (local.set 0x33b (i64.load offset=0x33b align=1 (i32.const 0)))
   986    (local.set 0x33c (i64.load offset=0x33c align=1 (i32.const 0)))
   987    (local.set 0x33d (i64.load offset=0x33d align=1 (i32.const 0)))
   988    (local.set 0x33e (i64.load offset=0x33e align=1 (i32.const 0)))
   989    (local.set 0x33f (i64.load offset=0x33f align=1 (i32.const 0)))
   990    (local.set 0x340 (i64.load offset=0x340 align=1 (i32.const 0)))
   991    (local.set 0x341 (i64.load offset=0x341 align=1 (i32.const 0)))
   992    (local.set 0x342 (i64.load offset=0x342 align=1 (i32.const 0)))
   993    (local.set 0x343 (i64.load offset=0x343 align=1 (i32.const 0)))
   994    (local.set 0x344 (i64.load offset=0x344 align=1 (i32.const 0)))
   995    (local.set 0x345 (i64.load offset=0x345 align=1 (i32.const 0)))
   996    (local.set 0x346 (i64.load offset=0x346 align=1 (i32.const 0)))
   997    (local.set 0x347 (i64.load offset=0x347 align=1 (i32.const 0)))
   998    (local.set 0x348 (i64.load offset=0x348 align=1 (i32.const 0)))
   999    (local.set 0x349 (i64.load offset=0x349 align=1 (i32.const 0)))
  1000    (local.set 0x34a (i64.load offset=0x34a align=1 (i32.const 0)))
  1001    (local.set 0x34b (i64.load offset=0x34b align=1 (i32.const 0)))
  1002    (local.set 0x34c (i64.load offset=0x34c align=1 (i32.const 0)))
  1003    (local.set 0x34d (i64.load offset=0x34d align=1 (i32.const 0)))
  1004    (local.set 0x34e (i64.load offset=0x34e align=1 (i32.const 0)))
  1005    (local.set 0x34f (i64.load offset=0x34f align=1 (i32.const 0)))
  1006    (local.set 0x350 (i64.load offset=0x350 align=1 (i32.const 0)))
  1007    (local.set 0x351 (i64.load offset=0x351 align=1 (i32.const 0)))
  1008    (local.set 0x352 (i64.load offset=0x352 align=1 (i32.const 0)))
  1009    (local.set 0x353 (i64.load offset=0x353 align=1 (i32.const 0)))
  1010    (local.set 0x354 (i64.load offset=0x354 align=1 (i32.const 0)))
  1011    (local.set 0x355 (i64.load offset=0x355 align=1 (i32.const 0)))
  1012    (local.set 0x356 (i64.load offset=0x356 align=1 (i32.const 0)))
  1013    (local.set 0x357 (i64.load offset=0x357 align=1 (i32.const 0)))
  1014    (local.set 0x358 (i64.load offset=0x358 align=1 (i32.const 0)))
  1015    (local.set 0x359 (i64.load offset=0x359 align=1 (i32.const 0)))
  1016    (local.set 0x35a (i64.load offset=0x35a align=1 (i32.const 0)))
  1017    (local.set 0x35b (i64.load offset=0x35b align=1 (i32.const 0)))
  1018    (local.set 0x35c (i64.load offset=0x35c align=1 (i32.const 0)))
  1019    (local.set 0x35d (i64.load offset=0x35d align=1 (i32.const 0)))
  1020    (local.set 0x35e (i64.load offset=0x35e align=1 (i32.const 0)))
  1021    (local.set 0x35f (i64.load offset=0x35f align=1 (i32.const 0)))
  1022    (local.set 0x360 (i64.load offset=0x360 align=1 (i32.const 0)))
  1023    (local.set 0x361 (i64.load offset=0x361 align=1 (i32.const 0)))
  1024    (local.set 0x362 (i64.load offset=0x362 align=1 (i32.const 0)))
  1025    (local.set 0x363 (i64.load offset=0x363 align=1 (i32.const 0)))
  1026    (local.set 0x364 (i64.load offset=0x364 align=1 (i32.const 0)))
  1027    (local.set 0x365 (i64.load offset=0x365 align=1 (i32.const 0)))
  1028    (local.set 0x366 (i64.load offset=0x366 align=1 (i32.const 0)))
  1029    (local.set 0x367 (i64.load offset=0x367 align=1 (i32.const 0)))
  1030    (local.set 0x368 (i64.load offset=0x368 align=1 (i32.const 0)))
  1031    (local.set 0x369 (i64.load offset=0x369 align=1 (i32.const 0)))
  1032    (local.set 0x36a (i64.load offset=0x36a align=1 (i32.const 0)))
  1033    (local.set 0x36b (i64.load offset=0x36b align=1 (i32.const 0)))
  1034    (local.set 0x36c (i64.load offset=0x36c align=1 (i32.const 0)))
  1035    (local.set 0x36d (i64.load offset=0x36d align=1 (i32.const 0)))
  1036    (local.set 0x36e (i64.load offset=0x36e align=1 (i32.const 0)))
  1037    (local.set 0x36f (i64.load offset=0x36f align=1 (i32.const 0)))
  1038    (local.set 0x370 (i64.load offset=0x370 align=1 (i32.const 0)))
  1039    (local.set 0x371 (i64.load offset=0x371 align=1 (i32.const 0)))
  1040    (local.set 0x372 (i64.load offset=0x372 align=1 (i32.const 0)))
  1041    (local.set 0x373 (i64.load offset=0x373 align=1 (i32.const 0)))
  1042    (local.set 0x374 (i64.load offset=0x374 align=1 (i32.const 0)))
  1043    (local.set 0x375 (i64.load offset=0x375 align=1 (i32.const 0)))
  1044    (local.set 0x376 (i64.load offset=0x376 align=1 (i32.const 0)))
  1045    (local.set 0x377 (i64.load offset=0x377 align=1 (i32.const 0)))
  1046    (local.set 0x378 (i64.load offset=0x378 align=1 (i32.const 0)))
  1047    (local.set 0x379 (i64.load offset=0x379 align=1 (i32.const 0)))
  1048    (local.set 0x37a (i64.load offset=0x37a align=1 (i32.const 0)))
  1049    (local.set 0x37b (i64.load offset=0x37b align=1 (i32.const 0)))
  1050    (local.set 0x37c (i64.load offset=0x37c align=1 (i32.const 0)))
  1051    (local.set 0x37d (i64.load offset=0x37d align=1 (i32.const 0)))
  1052    (local.set 0x37e (i64.load offset=0x37e align=1 (i32.const 0)))
  1053    (local.set 0x37f (i64.load offset=0x37f align=1 (i32.const 0)))
  1054    (local.set 0x380 (i64.load offset=0x380 align=1 (i32.const 0)))
  1055    (local.set 0x381 (i64.load offset=0x381 align=1 (i32.const 0)))
  1056    (local.set 0x382 (i64.load offset=0x382 align=1 (i32.const 0)))
  1057    (local.set 0x383 (i64.load offset=0x383 align=1 (i32.const 0)))
  1058    (local.set 0x384 (i64.load offset=0x384 align=1 (i32.const 0)))
  1059    (local.set 0x385 (i64.load offset=0x385 align=1 (i32.const 0)))
  1060    (local.set 0x386 (i64.load offset=0x386 align=1 (i32.const 0)))
  1061    (local.set 0x387 (i64.load offset=0x387 align=1 (i32.const 0)))
  1062    (local.set 0x388 (i64.load offset=0x388 align=1 (i32.const 0)))
  1063    (local.set 0x389 (i64.load offset=0x389 align=1 (i32.const 0)))
  1064    (local.set 0x38a (i64.load offset=0x38a align=1 (i32.const 0)))
  1065    (local.set 0x38b (i64.load offset=0x38b align=1 (i32.const 0)))
  1066    (local.set 0x38c (i64.load offset=0x38c align=1 (i32.const 0)))
  1067    (local.set 0x38d (i64.load offset=0x38d align=1 (i32.const 0)))
  1068    (local.set 0x38e (i64.load offset=0x38e align=1 (i32.const 0)))
  1069    (local.set 0x38f (i64.load offset=0x38f align=1 (i32.const 0)))
  1070    (local.set 0x390 (i64.load offset=0x390 align=1 (i32.const 0)))
  1071    (local.set 0x391 (i64.load offset=0x391 align=1 (i32.const 0)))
  1072    (local.set 0x392 (i64.load offset=0x392 align=1 (i32.const 0)))
  1073    (local.set 0x393 (i64.load offset=0x393 align=1 (i32.const 0)))
  1074    (local.set 0x394 (i64.load offset=0x394 align=1 (i32.const 0)))
  1075    (local.set 0x395 (i64.load offset=0x395 align=1 (i32.const 0)))
  1076    (local.set 0x396 (i64.load offset=0x396 align=1 (i32.const 0)))
  1077    (local.set 0x397 (i64.load offset=0x397 align=1 (i32.const 0)))
  1078    (local.set 0x398 (i64.load offset=0x398 align=1 (i32.const 0)))
  1079    (local.set 0x399 (i64.load offset=0x399 align=1 (i32.const 0)))
  1080    (local.set 0x39a (i64.load offset=0x39a align=1 (i32.const 0)))
  1081    (local.set 0x39b (i64.load offset=0x39b align=1 (i32.const 0)))
  1082    (local.set 0x39c (i64.load offset=0x39c align=1 (i32.const 0)))
  1083    (local.set 0x39d (i64.load offset=0x39d align=1 (i32.const 0)))
  1084    (local.set 0x39e (i64.load offset=0x39e align=1 (i32.const 0)))
  1085    (local.set 0x39f (i64.load offset=0x39f align=1 (i32.const 0)))
  1086    (local.set 0x3a0 (i64.load offset=0x3a0 align=1 (i32.const 0)))
  1087    (local.set 0x3a1 (i64.load offset=0x3a1 align=1 (i32.const 0)))
  1088    (local.set 0x3a2 (i64.load offset=0x3a2 align=1 (i32.const 0)))
  1089    (local.set 0x3a3 (i64.load offset=0x3a3 align=1 (i32.const 0)))
  1090    (local.set 0x3a4 (i64.load offset=0x3a4 align=1 (i32.const 0)))
  1091    (local.set 0x3a5 (i64.load offset=0x3a5 align=1 (i32.const 0)))
  1092    (local.set 0x3a6 (i64.load offset=0x3a6 align=1 (i32.const 0)))
  1093    (local.set 0x3a7 (i64.load offset=0x3a7 align=1 (i32.const 0)))
  1094    (local.set 0x3a8 (i64.load offset=0x3a8 align=1 (i32.const 0)))
  1095    (local.set 0x3a9 (i64.load offset=0x3a9 align=1 (i32.const 0)))
  1096    (local.set 0x3aa (i64.load offset=0x3aa align=1 (i32.const 0)))
  1097    (local.set 0x3ab (i64.load offset=0x3ab align=1 (i32.const 0)))
  1098    (local.set 0x3ac (i64.load offset=0x3ac align=1 (i32.const 0)))
  1099    (local.set 0x3ad (i64.load offset=0x3ad align=1 (i32.const 0)))
  1100    (local.set 0x3ae (i64.load offset=0x3ae align=1 (i32.const 0)))
  1101    (local.set 0x3af (i64.load offset=0x3af align=1 (i32.const 0)))
  1102    (local.set 0x3b0 (i64.load offset=0x3b0 align=1 (i32.const 0)))
  1103    (local.set 0x3b1 (i64.load offset=0x3b1 align=1 (i32.const 0)))
  1104    (local.set 0x3b2 (i64.load offset=0x3b2 align=1 (i32.const 0)))
  1105    (local.set 0x3b3 (i64.load offset=0x3b3 align=1 (i32.const 0)))
  1106    (local.set 0x3b4 (i64.load offset=0x3b4 align=1 (i32.const 0)))
  1107    (local.set 0x3b5 (i64.load offset=0x3b5 align=1 (i32.const 0)))
  1108    (local.set 0x3b6 (i64.load offset=0x3b6 align=1 (i32.const 0)))
  1109    (local.set 0x3b7 (i64.load offset=0x3b7 align=1 (i32.const 0)))
  1110    (local.set 0x3b8 (i64.load offset=0x3b8 align=1 (i32.const 0)))
  1111    (local.set 0x3b9 (i64.load offset=0x3b9 align=1 (i32.const 0)))
  1112    (local.set 0x3ba (i64.load offset=0x3ba align=1 (i32.const 0)))
  1113    (local.set 0x3bb (i64.load offset=0x3bb align=1 (i32.const 0)))
  1114    (local.set 0x3bc (i64.load offset=0x3bc align=1 (i32.const 0)))
  1115    (local.set 0x3bd (i64.load offset=0x3bd align=1 (i32.const 0)))
  1116    (local.set 0x3be (i64.load offset=0x3be align=1 (i32.const 0)))
  1117    (local.set 0x3bf (i64.load offset=0x3bf align=1 (i32.const 0)))
  1118    (local.set 0x3c0 (i64.load offset=0x3c0 align=1 (i32.const 0)))
  1119    (local.set 0x3c1 (i64.load offset=0x3c1 align=1 (i32.const 0)))
  1120    (local.set 0x3c2 (i64.load offset=0x3c2 align=1 (i32.const 0)))
  1121    (local.set 0x3c3 (i64.load offset=0x3c3 align=1 (i32.const 0)))
  1122    (local.set 0x3c4 (i64.load offset=0x3c4 align=1 (i32.const 0)))
  1123    (local.set 0x3c5 (i64.load offset=0x3c5 align=1 (i32.const 0)))
  1124    (local.set 0x3c6 (i64.load offset=0x3c6 align=1 (i32.const 0)))
  1125    (local.set 0x3c7 (i64.load offset=0x3c7 align=1 (i32.const 0)))
  1126    (local.set 0x3c8 (i64.load offset=0x3c8 align=1 (i32.const 0)))
  1127    (local.set 0x3c9 (i64.load offset=0x3c9 align=1 (i32.const 0)))
  1128    (local.set 0x3ca (i64.load offset=0x3ca align=1 (i32.const 0)))
  1129    (local.set 0x3cb (i64.load offset=0x3cb align=1 (i32.const 0)))
  1130    (local.set 0x3cc (i64.load offset=0x3cc align=1 (i32.const 0)))
  1131    (local.set 0x3cd (i64.load offset=0x3cd align=1 (i32.const 0)))
  1132    (local.set 0x3ce (i64.load offset=0x3ce align=1 (i32.const 0)))
  1133    (local.set 0x3cf (i64.load offset=0x3cf align=1 (i32.const 0)))
  1134    (local.set 0x3d0 (i64.load offset=0x3d0 align=1 (i32.const 0)))
  1135    (local.set 0x3d1 (i64.load offset=0x3d1 align=1 (i32.const 0)))
  1136    (local.set 0x3d2 (i64.load offset=0x3d2 align=1 (i32.const 0)))
  1137    (local.set 0x3d3 (i64.load offset=0x3d3 align=1 (i32.const 0)))
  1138    (local.set 0x3d4 (i64.load offset=0x3d4 align=1 (i32.const 0)))
  1139    (local.set 0x3d5 (i64.load offset=0x3d5 align=1 (i32.const 0)))
  1140    (local.set 0x3d6 (i64.load offset=0x3d6 align=1 (i32.const 0)))
  1141    (local.set 0x3d7 (i64.load offset=0x3d7 align=1 (i32.const 0)))
  1142    (local.set 0x3d8 (i64.load offset=0x3d8 align=1 (i32.const 0)))
  1143    (local.set 0x3d9 (i64.load offset=0x3d9 align=1 (i32.const 0)))
  1144    (local.set 0x3da (i64.load offset=0x3da align=1 (i32.const 0)))
  1145    (local.set 0x3db (i64.load offset=0x3db align=1 (i32.const 0)))
  1146    (local.set 0x3dc (i64.load offset=0x3dc align=1 (i32.const 0)))
  1147    (local.set 0x3dd (i64.load offset=0x3dd align=1 (i32.const 0)))
  1148    (local.set 0x3de (i64.load offset=0x3de align=1 (i32.const 0)))
  1149    (local.set 0x3df (i64.load offset=0x3df align=1 (i32.const 0)))
  1150    (local.set 0x3e0 (i64.load offset=0x3e0 align=1 (i32.const 0)))
  1151    (local.set 0x3e1 (i64.load offset=0x3e1 align=1 (i32.const 0)))
  1152    (local.set 0x3e2 (i64.load offset=0x3e2 align=1 (i32.const 0)))
  1153    (local.set 0x3e3 (i64.load offset=0x3e3 align=1 (i32.const 0)))
  1154    (local.set 0x3e4 (i64.load offset=0x3e4 align=1 (i32.const 0)))
  1155    (local.set 0x3e5 (i64.load offset=0x3e5 align=1 (i32.const 0)))
  1156    (local.set 0x3e6 (i64.load offset=0x3e6 align=1 (i32.const 0)))
  1157    (local.set 0x3e7 (i64.load offset=0x3e7 align=1 (i32.const 0)))
  1158    (local.set 0x3e8 (i64.load offset=0x3e8 align=1 (i32.const 0)))
  1159    (local.set 0x3e9 (i64.load offset=0x3e9 align=1 (i32.const 0)))
  1160    (local.set 0x3ea (i64.load offset=0x3ea align=1 (i32.const 0)))
  1161    (local.set 0x3eb (i64.load offset=0x3eb align=1 (i32.const 0)))
  1162    (local.set 0x3ec (i64.load offset=0x3ec align=1 (i32.const 0)))
  1163    (local.set 0x3ed (i64.load offset=0x3ed align=1 (i32.const 0)))
  1164    (local.set 0x3ee (i64.load offset=0x3ee align=1 (i32.const 0)))
  1165    (local.set 0x3ef (i64.load offset=0x3ef align=1 (i32.const 0)))
  1166    (local.set 0x3f0 (i64.load offset=0x3f0 align=1 (i32.const 0)))
  1167    (local.set 0x3f1 (i64.load offset=0x3f1 align=1 (i32.const 0)))
  1168    (local.set 0x3f2 (i64.load offset=0x3f2 align=1 (i32.const 0)))
  1169    (local.set 0x3f3 (i64.load offset=0x3f3 align=1 (i32.const 0)))
  1170    (local.set 0x3f4 (i64.load offset=0x3f4 align=1 (i32.const 0)))
  1171    (local.set 0x3f5 (i64.load offset=0x3f5 align=1 (i32.const 0)))
  1172    (local.set 0x3f6 (i64.load offset=0x3f6 align=1 (i32.const 0)))
  1173    (local.set 0x3f7 (i64.load offset=0x3f7 align=1 (i32.const 0)))
  1174    (local.set 0x3f8 (i64.load offset=0x3f8 align=1 (i32.const 0)))
  1175    (local.set 0x3f9 (i64.load offset=0x3f9 align=1 (i32.const 0)))
  1176    (local.set 0x3fa (i64.load offset=0x3fa align=1 (i32.const 0)))
  1177    (local.set 0x3fb (i64.load offset=0x3fb align=1 (i32.const 0)))
  1178    (local.set 0x3fc (i64.load offset=0x3fc align=1 (i32.const 0)))
  1179    (local.set 0x3fd (i64.load offset=0x3fd align=1 (i32.const 0)))
  1180    (local.set 0x3fe (i64.load offset=0x3fe align=1 (i32.const 0)))
  1181    (local.set 0x3ff (i64.load offset=0x3ff align=1 (i32.const 0)))
  1182    (local.set 0x400 (i64.load offset=0x400 align=1 (i32.const 0)))
  1183    (local.set 0x401 (i64.load offset=0x401 align=1 (i32.const 0)))
  1184    (local.set 0x402 (i64.load offset=0x402 align=1 (i32.const 0)))
  1185    (local.set 0x403 (i64.load offset=0x403 align=1 (i32.const 0)))
  1186    (local.set 0x404 (i64.load offset=0x404 align=1 (i32.const 0)))
  1187    (local.set 0x405 (i64.load offset=0x405 align=1 (i32.const 0)))
  1188    (local.set 0x406 (i64.load offset=0x406 align=1 (i32.const 0)))
  1189    (local.set 0x407 (i64.load offset=0x407 align=1 (i32.const 0)))
  1190    (local.set 0x408 (i64.load offset=0x408 align=1 (i32.const 0)))
  1191    (local.set 0x409 (i64.load offset=0x409 align=1 (i32.const 0)))
  1192    (local.set 0x40a (i64.load offset=0x40a align=1 (i32.const 0)))
  1193    (local.set 0x40b (i64.load offset=0x40b align=1 (i32.const 0)))
  1194    (local.set 0x40c (i64.load offset=0x40c align=1 (i32.const 0)))
  1195    (local.set 0x40d (i64.load offset=0x40d align=1 (i32.const 0)))
  1196    (local.set 0x40e (i64.load offset=0x40e align=1 (i32.const 0)))
  1197    (local.set 0x40f (i64.load offset=0x40f align=1 (i32.const 0)))
  1198    (local.set 0x410 (i64.load offset=0x410 align=1 (i32.const 0)))
  1199    (local.set 0x411 (i64.load offset=0x411 align=1 (i32.const 0)))
  1200    (local.set 0x412 (i64.load offset=0x412 align=1 (i32.const 0)))
  1201    (local.set 0x413 (i64.load offset=0x413 align=1 (i32.const 0)))
  1202    (local.set 0x414 (i64.load offset=0x414 align=1 (i32.const 0)))
  1203    (local.set 0x415 (i64.load offset=0x415 align=1 (i32.const 0)))
  1204    (local.set 0x416 (i64.load offset=0x416 align=1 (i32.const 0)))
  1205    (local.set 0x417 (i64.load offset=0x417 align=1 (i32.const 0)))
  1206    (local.set 0x418 (i64.load offset=0x418 align=1 (i32.const 0)))
  1207    (local.set 0x419 (i64.load offset=0x419 align=1 (i32.const 0)))
  1208    (local.set 0x41a (i64.load offset=0x41a align=1 (i32.const 0)))
  1209    (local.set 0x41b (i64.load offset=0x41b align=1 (i32.const 0)))
  1210    (local.set 0x41c (i64.load offset=0x41c align=1 (i32.const 0)))
  1211    (local.set 0x41d (i64.load offset=0x41d align=1 (i32.const 0)))
  1212    (local.set 0x41e (i64.load offset=0x41e align=1 (i32.const 0)))
  1213    (local.set 0x41f (i64.load offset=0x41f align=1 (i32.const 0)))
  1214
  1215    ;; store the locals back to memory
  1216    (i64.store offset=0x000 align=1 (i32.const 0) (local.get 0x000))
  1217    (i64.store offset=0x001 align=1 (i32.const 0) (local.get 0x001))
  1218    (i64.store offset=0x002 align=1 (i32.const 0) (local.get 0x002))
  1219    (i64.store offset=0x003 align=1 (i32.const 0) (local.get 0x003))
  1220    (i64.store offset=0x004 align=1 (i32.const 0) (local.get 0x004))
  1221    (i64.store offset=0x005 align=1 (i32.const 0) (local.get 0x005))
  1222    (i64.store offset=0x006 align=1 (i32.const 0) (local.get 0x006))
  1223    (i64.store offset=0x007 align=1 (i32.const 0) (local.get 0x007))
  1224    (i64.store offset=0x008 align=1 (i32.const 0) (local.get 0x008))
  1225    (i64.store offset=0x009 align=1 (i32.const 0) (local.get 0x009))
  1226    (i64.store offset=0x00a align=1 (i32.const 0) (local.get 0x00a))
  1227    (i64.store offset=0x00b align=1 (i32.const 0) (local.get 0x00b))
  1228    (i64.store offset=0x00c align=1 (i32.const 0) (local.get 0x00c))
  1229    (i64.store offset=0x00d align=1 (i32.const 0) (local.get 0x00d))
  1230    (i64.store offset=0x00e align=1 (i32.const 0) (local.get 0x00e))
  1231    (i64.store offset=0x00f align=1 (i32.const 0) (local.get 0x00f))
  1232    (i64.store offset=0x010 align=1 (i32.const 0) (local.get 0x010))
  1233    (i64.store offset=0x011 align=1 (i32.const 0) (local.get 0x011))
  1234    (i64.store offset=0x012 align=1 (i32.const 0) (local.get 0x012))
  1235    (i64.store offset=0x013 align=1 (i32.const 0) (local.get 0x013))
  1236    (i64.store offset=0x014 align=1 (i32.const 0) (local.get 0x014))
  1237    (i64.store offset=0x015 align=1 (i32.const 0) (local.get 0x015))
  1238    (i64.store offset=0x016 align=1 (i32.const 0) (local.get 0x016))
  1239    (i64.store offset=0x017 align=1 (i32.const 0) (local.get 0x017))
  1240    (i64.store offset=0x018 align=1 (i32.const 0) (local.get 0x018))
  1241    (i64.store offset=0x019 align=1 (i32.const 0) (local.get 0x019))
  1242    (i64.store offset=0x01a align=1 (i32.const 0) (local.get 0x01a))
  1243    (i64.store offset=0x01b align=1 (i32.const 0) (local.get 0x01b))
  1244    (i64.store offset=0x01c align=1 (i32.const 0) (local.get 0x01c))
  1245    (i64.store offset=0x01d align=1 (i32.const 0) (local.get 0x01d))
  1246    (i64.store offset=0x01e align=1 (i32.const 0) (local.get 0x01e))
  1247    (i64.store offset=0x01f align=1 (i32.const 0) (local.get 0x01f))
  1248    (i64.store offset=0x020 align=1 (i32.const 0) (local.get 0x020))
  1249    (i64.store offset=0x021 align=1 (i32.const 0) (local.get 0x021))
  1250    (i64.store offset=0x022 align=1 (i32.const 0) (local.get 0x022))
  1251    (i64.store offset=0x023 align=1 (i32.const 0) (local.get 0x023))
  1252    (i64.store offset=0x024 align=1 (i32.const 0) (local.get 0x024))
  1253    (i64.store offset=0x025 align=1 (i32.const 0) (local.get 0x025))
  1254    (i64.store offset=0x026 align=1 (i32.const 0) (local.get 0x026))
  1255    (i64.store offset=0x027 align=1 (i32.const 0) (local.get 0x027))
  1256    (i64.store offset=0x028 align=1 (i32.const 0) (local.get 0x028))
  1257    (i64.store offset=0x029 align=1 (i32.const 0) (local.get 0x029))
  1258    (i64.store offset=0x02a align=1 (i32.const 0) (local.get 0x02a))
  1259    (i64.store offset=0x02b align=1 (i32.const 0) (local.get 0x02b))
  1260    (i64.store offset=0x02c align=1 (i32.const 0) (local.get 0x02c))
  1261    (i64.store offset=0x02d align=1 (i32.const 0) (local.get 0x02d))
  1262    (i64.store offset=0x02e align=1 (i32.const 0) (local.get 0x02e))
  1263    (i64.store offset=0x02f align=1 (i32.const 0) (local.get 0x02f))
  1264    (i64.store offset=0x030 align=1 (i32.const 0) (local.get 0x030))
  1265    (i64.store offset=0x031 align=1 (i32.const 0) (local.get 0x031))
  1266    (i64.store offset=0x032 align=1 (i32.const 0) (local.get 0x032))
  1267    (i64.store offset=0x033 align=1 (i32.const 0) (local.get 0x033))
  1268    (i64.store offset=0x034 align=1 (i32.const 0) (local.get 0x034))
  1269    (i64.store offset=0x035 align=1 (i32.const 0) (local.get 0x035))
  1270    (i64.store offset=0x036 align=1 (i32.const 0) (local.get 0x036))
  1271    (i64.store offset=0x037 align=1 (i32.const 0) (local.get 0x037))
  1272    (i64.store offset=0x038 align=1 (i32.const 0) (local.get 0x038))
  1273    (i64.store offset=0x039 align=1 (i32.const 0) (local.get 0x039))
  1274    (i64.store offset=0x03a align=1 (i32.const 0) (local.get 0x03a))
  1275    (i64.store offset=0x03b align=1 (i32.const 0) (local.get 0x03b))
  1276    (i64.store offset=0x03c align=1 (i32.const 0) (local.get 0x03c))
  1277    (i64.store offset=0x03d align=1 (i32.const 0) (local.get 0x03d))
  1278    (i64.store offset=0x03e align=1 (i32.const 0) (local.get 0x03e))
  1279    (i64.store offset=0x03f align=1 (i32.const 0) (local.get 0x03f))
  1280    (i64.store offset=0x040 align=1 (i32.const 0) (local.get 0x040))
  1281    (i64.store offset=0x041 align=1 (i32.const 0) (local.get 0x041))
  1282    (i64.store offset=0x042 align=1 (i32.const 0) (local.get 0x042))
  1283    (i64.store offset=0x043 align=1 (i32.const 0) (local.get 0x043))
  1284    (i64.store offset=0x044 align=1 (i32.const 0) (local.get 0x044))
  1285    (i64.store offset=0x045 align=1 (i32.const 0) (local.get 0x045))
  1286    (i64.store offset=0x046 align=1 (i32.const 0) (local.get 0x046))
  1287    (i64.store offset=0x047 align=1 (i32.const 0) (local.get 0x047))
  1288    (i64.store offset=0x048 align=1 (i32.const 0) (local.get 0x048))
  1289    (i64.store offset=0x049 align=1 (i32.const 0) (local.get 0x049))
  1290    (i64.store offset=0x04a align=1 (i32.const 0) (local.get 0x04a))
  1291    (i64.store offset=0x04b align=1 (i32.const 0) (local.get 0x04b))
  1292    (i64.store offset=0x04c align=1 (i32.const 0) (local.get 0x04c))
  1293    (i64.store offset=0x04d align=1 (i32.const 0) (local.get 0x04d))
  1294    (i64.store offset=0x04e align=1 (i32.const 0) (local.get 0x04e))
  1295    (i64.store offset=0x04f align=1 (i32.const 0) (local.get 0x04f))
  1296    (i64.store offset=0x050 align=1 (i32.const 0) (local.get 0x050))
  1297    (i64.store offset=0x051 align=1 (i32.const 0) (local.get 0x051))
  1298    (i64.store offset=0x052 align=1 (i32.const 0) (local.get 0x052))
  1299    (i64.store offset=0x053 align=1 (i32.const 0) (local.get 0x053))
  1300    (i64.store offset=0x054 align=1 (i32.const 0) (local.get 0x054))
  1301    (i64.store offset=0x055 align=1 (i32.const 0) (local.get 0x055))
  1302    (i64.store offset=0x056 align=1 (i32.const 0) (local.get 0x056))
  1303    (i64.store offset=0x057 align=1 (i32.const 0) (local.get 0x057))
  1304    (i64.store offset=0x058 align=1 (i32.const 0) (local.get 0x058))
  1305    (i64.store offset=0x059 align=1 (i32.const 0) (local.get 0x059))
  1306    (i64.store offset=0x05a align=1 (i32.const 0) (local.get 0x05a))
  1307    (i64.store offset=0x05b align=1 (i32.const 0) (local.get 0x05b))
  1308    (i64.store offset=0x05c align=1 (i32.const 0) (local.get 0x05c))
  1309    (i64.store offset=0x05d align=1 (i32.const 0) (local.get 0x05d))
  1310    (i64.store offset=0x05e align=1 (i32.const 0) (local.get 0x05e))
  1311    (i64.store offset=0x05f align=1 (i32.const 0) (local.get 0x05f))
  1312    (i64.store offset=0x060 align=1 (i32.const 0) (local.get 0x060))
  1313    (i64.store offset=0x061 align=1 (i32.const 0) (local.get 0x061))
  1314    (i64.store offset=0x062 align=1 (i32.const 0) (local.get 0x062))
  1315    (i64.store offset=0x063 align=1 (i32.const 0) (local.get 0x063))
  1316    (i64.store offset=0x064 align=1 (i32.const 0) (local.get 0x064))
  1317    (i64.store offset=0x065 align=1 (i32.const 0) (local.get 0x065))
  1318    (i64.store offset=0x066 align=1 (i32.const 0) (local.get 0x066))
  1319    (i64.store offset=0x067 align=1 (i32.const 0) (local.get 0x067))
  1320    (i64.store offset=0x068 align=1 (i32.const 0) (local.get 0x068))
  1321    (i64.store offset=0x069 align=1 (i32.const 0) (local.get 0x069))
  1322    (i64.store offset=0x06a align=1 (i32.const 0) (local.get 0x06a))
  1323    (i64.store offset=0x06b align=1 (i32.const 0) (local.get 0x06b))
  1324    (i64.store offset=0x06c align=1 (i32.const 0) (local.get 0x06c))
  1325    (i64.store offset=0x06d align=1 (i32.const 0) (local.get 0x06d))
  1326    (i64.store offset=0x06e align=1 (i32.const 0) (local.get 0x06e))
  1327    (i64.store offset=0x06f align=1 (i32.const 0) (local.get 0x06f))
  1328    (i64.store offset=0x070 align=1 (i32.const 0) (local.get 0x070))
  1329    (i64.store offset=0x071 align=1 (i32.const 0) (local.get 0x071))
  1330    (i64.store offset=0x072 align=1 (i32.const 0) (local.get 0x072))
  1331    (i64.store offset=0x073 align=1 (i32.const 0) (local.get 0x073))
  1332    (i64.store offset=0x074 align=1 (i32.const 0) (local.get 0x074))
  1333    (i64.store offset=0x075 align=1 (i32.const 0) (local.get 0x075))
  1334    (i64.store offset=0x076 align=1 (i32.const 0) (local.get 0x076))
  1335    (i64.store offset=0x077 align=1 (i32.const 0) (local.get 0x077))
  1336    (i64.store offset=0x078 align=1 (i32.const 0) (local.get 0x078))
  1337    (i64.store offset=0x079 align=1 (i32.const 0) (local.get 0x079))
  1338    (i64.store offset=0x07a align=1 (i32.const 0) (local.get 0x07a))
  1339    (i64.store offset=0x07b align=1 (i32.const 0) (local.get 0x07b))
  1340    (i64.store offset=0x07c align=1 (i32.const 0) (local.get 0x07c))
  1341    (i64.store offset=0x07d align=1 (i32.const 0) (local.get 0x07d))
  1342    (i64.store offset=0x07e align=1 (i32.const 0) (local.get 0x07e))
  1343    (i64.store offset=0x07f align=1 (i32.const 0) (local.get 0x07f))
  1344    (i64.store offset=0x080 align=1 (i32.const 0) (local.get 0x080))
  1345    (i64.store offset=0x081 align=1 (i32.const 0) (local.get 0x081))
  1346    (i64.store offset=0x082 align=1 (i32.const 0) (local.get 0x082))
  1347    (i64.store offset=0x083 align=1 (i32.const 0) (local.get 0x083))
  1348    (i64.store offset=0x084 align=1 (i32.const 0) (local.get 0x084))
  1349    (i64.store offset=0x085 align=1 (i32.const 0) (local.get 0x085))
  1350    (i64.store offset=0x086 align=1 (i32.const 0) (local.get 0x086))
  1351    (i64.store offset=0x087 align=1 (i32.const 0) (local.get 0x087))
  1352    (i64.store offset=0x088 align=1 (i32.const 0) (local.get 0x088))
  1353    (i64.store offset=0x089 align=1 (i32.const 0) (local.get 0x089))
  1354    (i64.store offset=0x08a align=1 (i32.const 0) (local.get 0x08a))
  1355    (i64.store offset=0x08b align=1 (i32.const 0) (local.get 0x08b))
  1356    (i64.store offset=0x08c align=1 (i32.const 0) (local.get 0x08c))
  1357    (i64.store offset=0x08d align=1 (i32.const 0) (local.get 0x08d))
  1358    (i64.store offset=0x08e align=1 (i32.const 0) (local.get 0x08e))
  1359    (i64.store offset=0x08f align=1 (i32.const 0) (local.get 0x08f))
  1360    (i64.store offset=0x090 align=1 (i32.const 0) (local.get 0x090))
  1361    (i64.store offset=0x091 align=1 (i32.const 0) (local.get 0x091))
  1362    (i64.store offset=0x092 align=1 (i32.const 0) (local.get 0x092))
  1363    (i64.store offset=0x093 align=1 (i32.const 0) (local.get 0x093))
  1364    (i64.store offset=0x094 align=1 (i32.const 0) (local.get 0x094))
  1365    (i64.store offset=0x095 align=1 (i32.const 0) (local.get 0x095))
  1366    (i64.store offset=0x096 align=1 (i32.const 0) (local.get 0x096))
  1367    (i64.store offset=0x097 align=1 (i32.const 0) (local.get 0x097))
  1368    (i64.store offset=0x098 align=1 (i32.const 0) (local.get 0x098))
  1369    (i64.store offset=0x099 align=1 (i32.const 0) (local.get 0x099))
  1370    (i64.store offset=0x09a align=1 (i32.const 0) (local.get 0x09a))
  1371    (i64.store offset=0x09b align=1 (i32.const 0) (local.get 0x09b))
  1372    (i64.store offset=0x09c align=1 (i32.const 0) (local.get 0x09c))
  1373    (i64.store offset=0x09d align=1 (i32.const 0) (local.get 0x09d))
  1374    (i64.store offset=0x09e align=1 (i32.const 0) (local.get 0x09e))
  1375    (i64.store offset=0x09f align=1 (i32.const 0) (local.get 0x09f))
  1376    (i64.store offset=0x0a0 align=1 (i32.const 0) (local.get 0x0a0))
  1377    (i64.store offset=0x0a1 align=1 (i32.const 0) (local.get 0x0a1))
  1378    (i64.store offset=0x0a2 align=1 (i32.const 0) (local.get 0x0a2))
  1379    (i64.store offset=0x0a3 align=1 (i32.const 0) (local.get 0x0a3))
  1380    (i64.store offset=0x0a4 align=1 (i32.const 0) (local.get 0x0a4))
  1381    (i64.store offset=0x0a5 align=1 (i32.const 0) (local.get 0x0a5))
  1382    (i64.store offset=0x0a6 align=1 (i32.const 0) (local.get 0x0a6))
  1383    (i64.store offset=0x0a7 align=1 (i32.const 0) (local.get 0x0a7))
  1384    (i64.store offset=0x0a8 align=1 (i32.const 0) (local.get 0x0a8))
  1385    (i64.store offset=0x0a9 align=1 (i32.const 0) (local.get 0x0a9))
  1386    (i64.store offset=0x0aa align=1 (i32.const 0) (local.get 0x0aa))
  1387    (i64.store offset=0x0ab align=1 (i32.const 0) (local.get 0x0ab))
  1388    (i64.store offset=0x0ac align=1 (i32.const 0) (local.get 0x0ac))
  1389    (i64.store offset=0x0ad align=1 (i32.const 0) (local.get 0x0ad))
  1390    (i64.store offset=0x0ae align=1 (i32.const 0) (local.get 0x0ae))
  1391    (i64.store offset=0x0af align=1 (i32.const 0) (local.get 0x0af))
  1392    (i64.store offset=0x0b0 align=1 (i32.const 0) (local.get 0x0b0))
  1393    (i64.store offset=0x0b1 align=1 (i32.const 0) (local.get 0x0b1))
  1394    (i64.store offset=0x0b2 align=1 (i32.const 0) (local.get 0x0b2))
  1395    (i64.store offset=0x0b3 align=1 (i32.const 0) (local.get 0x0b3))
  1396    (i64.store offset=0x0b4 align=1 (i32.const 0) (local.get 0x0b4))
  1397    (i64.store offset=0x0b5 align=1 (i32.const 0) (local.get 0x0b5))
  1398    (i64.store offset=0x0b6 align=1 (i32.const 0) (local.get 0x0b6))
  1399    (i64.store offset=0x0b7 align=1 (i32.const 0) (local.get 0x0b7))
  1400    (i64.store offset=0x0b8 align=1 (i32.const 0) (local.get 0x0b8))
  1401    (i64.store offset=0x0b9 align=1 (i32.const 0) (local.get 0x0b9))
  1402    (i64.store offset=0x0ba align=1 (i32.const 0) (local.get 0x0ba))
  1403    (i64.store offset=0x0bb align=1 (i32.const 0) (local.get 0x0bb))
  1404    (i64.store offset=0x0bc align=1 (i32.const 0) (local.get 0x0bc))
  1405    (i64.store offset=0x0bd align=1 (i32.const 0) (local.get 0x0bd))
  1406    (i64.store offset=0x0be align=1 (i32.const 0) (local.get 0x0be))
  1407    (i64.store offset=0x0bf align=1 (i32.const 0) (local.get 0x0bf))
  1408    (i64.store offset=0x0c0 align=1 (i32.const 0) (local.get 0x0c0))
  1409    (i64.store offset=0x0c1 align=1 (i32.const 0) (local.get 0x0c1))
  1410    (i64.store offset=0x0c2 align=1 (i32.const 0) (local.get 0x0c2))
  1411    (i64.store offset=0x0c3 align=1 (i32.const 0) (local.get 0x0c3))
  1412    (i64.store offset=0x0c4 align=1 (i32.const 0) (local.get 0x0c4))
  1413    (i64.store offset=0x0c5 align=1 (i32.const 0) (local.get 0x0c5))
  1414    (i64.store offset=0x0c6 align=1 (i32.const 0) (local.get 0x0c6))
  1415    (i64.store offset=0x0c7 align=1 (i32.const 0) (local.get 0x0c7))
  1416    (i64.store offset=0x0c8 align=1 (i32.const 0) (local.get 0x0c8))
  1417    (i64.store offset=0x0c9 align=1 (i32.const 0) (local.get 0x0c9))
  1418    (i64.store offset=0x0ca align=1 (i32.const 0) (local.get 0x0ca))
  1419    (i64.store offset=0x0cb align=1 (i32.const 0) (local.get 0x0cb))
  1420    (i64.store offset=0x0cc align=1 (i32.const 0) (local.get 0x0cc))
  1421    (i64.store offset=0x0cd align=1 (i32.const 0) (local.get 0x0cd))
  1422    (i64.store offset=0x0ce align=1 (i32.const 0) (local.get 0x0ce))
  1423    (i64.store offset=0x0cf align=1 (i32.const 0) (local.get 0x0cf))
  1424    (i64.store offset=0x0d0 align=1 (i32.const 0) (local.get 0x0d0))
  1425    (i64.store offset=0x0d1 align=1 (i32.const 0) (local.get 0x0d1))
  1426    (i64.store offset=0x0d2 align=1 (i32.const 0) (local.get 0x0d2))
  1427    (i64.store offset=0x0d3 align=1 (i32.const 0) (local.get 0x0d3))
  1428    (i64.store offset=0x0d4 align=1 (i32.const 0) (local.get 0x0d4))
  1429    (i64.store offset=0x0d5 align=1 (i32.const 0) (local.get 0x0d5))
  1430    (i64.store offset=0x0d6 align=1 (i32.const 0) (local.get 0x0d6))
  1431    (i64.store offset=0x0d7 align=1 (i32.const 0) (local.get 0x0d7))
  1432    (i64.store offset=0x0d8 align=1 (i32.const 0) (local.get 0x0d8))
  1433    (i64.store offset=0x0d9 align=1 (i32.const 0) (local.get 0x0d9))
  1434    (i64.store offset=0x0da align=1 (i32.const 0) (local.get 0x0da))
  1435    (i64.store offset=0x0db align=1 (i32.const 0) (local.get 0x0db))
  1436    (i64.store offset=0x0dc align=1 (i32.const 0) (local.get 0x0dc))
  1437    (i64.store offset=0x0dd align=1 (i32.const 0) (local.get 0x0dd))
  1438    (i64.store offset=0x0de align=1 (i32.const 0) (local.get 0x0de))
  1439    (i64.store offset=0x0df align=1 (i32.const 0) (local.get 0x0df))
  1440    (i64.store offset=0x0e0 align=1 (i32.const 0) (local.get 0x0e0))
  1441    (i64.store offset=0x0e1 align=1 (i32.const 0) (local.get 0x0e1))
  1442    (i64.store offset=0x0e2 align=1 (i32.const 0) (local.get 0x0e2))
  1443    (i64.store offset=0x0e3 align=1 (i32.const 0) (local.get 0x0e3))
  1444    (i64.store offset=0x0e4 align=1 (i32.const 0) (local.get 0x0e4))
  1445    (i64.store offset=0x0e5 align=1 (i32.const 0) (local.get 0x0e5))
  1446    (i64.store offset=0x0e6 align=1 (i32.const 0) (local.get 0x0e6))
  1447    (i64.store offset=0x0e7 align=1 (i32.const 0) (local.get 0x0e7))
  1448    (i64.store offset=0x0e8 align=1 (i32.const 0) (local.get 0x0e8))
  1449    (i64.store offset=0x0e9 align=1 (i32.const 0) (local.get 0x0e9))
  1450    (i64.store offset=0x0ea align=1 (i32.const 0) (local.get 0x0ea))
  1451    (i64.store offset=0x0eb align=1 (i32.const 0) (local.get 0x0eb))
  1452    (i64.store offset=0x0ec align=1 (i32.const 0) (local.get 0x0ec))
  1453    (i64.store offset=0x0ed align=1 (i32.const 0) (local.get 0x0ed))
  1454    (i64.store offset=0x0ee align=1 (i32.const 0) (local.get 0x0ee))
  1455    (i64.store offset=0x0ef align=1 (i32.const 0) (local.get 0x0ef))
  1456    (i64.store offset=0x0f0 align=1 (i32.const 0) (local.get 0x0f0))
  1457    (i64.store offset=0x0f1 align=1 (i32.const 0) (local.get 0x0f1))
  1458    (i64.store offset=0x0f2 align=1 (i32.const 0) (local.get 0x0f2))
  1459    (i64.store offset=0x0f3 align=1 (i32.const 0) (local.get 0x0f3))
  1460    (i64.store offset=0x0f4 align=1 (i32.const 0) (local.get 0x0f4))
  1461    (i64.store offset=0x0f5 align=1 (i32.const 0) (local.get 0x0f5))
  1462    (i64.store offset=0x0f6 align=1 (i32.const 0) (local.get 0x0f6))
  1463    (i64.store offset=0x0f7 align=1 (i32.const 0) (local.get 0x0f7))
  1464    (i64.store offset=0x0f8 align=1 (i32.const 0) (local.get 0x0f8))
  1465    (i64.store offset=0x0f9 align=1 (i32.const 0) (local.get 0x0f9))
  1466    (i64.store offset=0x0fa align=1 (i32.const 0) (local.get 0x0fa))
  1467    (i64.store offset=0x0fb align=1 (i32.const 0) (local.get 0x0fb))
  1468    (i64.store offset=0x0fc align=1 (i32.const 0) (local.get 0x0fc))
  1469    (i64.store offset=0x0fd align=1 (i32.const 0) (local.get 0x0fd))
  1470    (i64.store offset=0x0fe align=1 (i32.const 0) (local.get 0x0fe))
  1471    (i64.store offset=0x0ff align=1 (i32.const 0) (local.get 0x0ff))
  1472    (i64.store offset=0x100 align=1 (i32.const 0) (local.get 0x100))
  1473    (i64.store offset=0x101 align=1 (i32.const 0) (local.get 0x101))
  1474    (i64.store offset=0x102 align=1 (i32.const 0) (local.get 0x102))
  1475    (i64.store offset=0x103 align=1 (i32.const 0) (local.get 0x103))
  1476    (i64.store offset=0x104 align=1 (i32.const 0) (local.get 0x104))
  1477    (i64.store offset=0x105 align=1 (i32.const 0) (local.get 0x105))
  1478    (i64.store offset=0x106 align=1 (i32.const 0) (local.get 0x106))
  1479    (i64.store offset=0x107 align=1 (i32.const 0) (local.get 0x107))
  1480    (i64.store offset=0x108 align=1 (i32.const 0) (local.get 0x108))
  1481    (i64.store offset=0x109 align=1 (i32.const 0) (local.get 0x109))
  1482    (i64.store offset=0x10a align=1 (i32.const 0) (local.get 0x10a))
  1483    (i64.store offset=0x10b align=1 (i32.const 0) (local.get 0x10b))
  1484    (i64.store offset=0x10c align=1 (i32.const 0) (local.get 0x10c))
  1485    (i64.store offset=0x10d align=1 (i32.const 0) (local.get 0x10d))
  1486    (i64.store offset=0x10e align=1 (i32.const 0) (local.get 0x10e))
  1487    (i64.store offset=0x10f align=1 (i32.const 0) (local.get 0x10f))
  1488    (i64.store offset=0x110 align=1 (i32.const 0) (local.get 0x110))
  1489    (i64.store offset=0x111 align=1 (i32.const 0) (local.get 0x111))
  1490    (i64.store offset=0x112 align=1 (i32.const 0) (local.get 0x112))
  1491    (i64.store offset=0x113 align=1 (i32.const 0) (local.get 0x113))
  1492    (i64.store offset=0x114 align=1 (i32.const 0) (local.get 0x114))
  1493    (i64.store offset=0x115 align=1 (i32.const 0) (local.get 0x115))
  1494    (i64.store offset=0x116 align=1 (i32.const 0) (local.get 0x116))
  1495    (i64.store offset=0x117 align=1 (i32.const 0) (local.get 0x117))
  1496    (i64.store offset=0x118 align=1 (i32.const 0) (local.get 0x118))
  1497    (i64.store offset=0x119 align=1 (i32.const 0) (local.get 0x119))
  1498    (i64.store offset=0x11a align=1 (i32.const 0) (local.get 0x11a))
  1499    (i64.store offset=0x11b align=1 (i32.const 0) (local.get 0x11b))
  1500    (i64.store offset=0x11c align=1 (i32.const 0) (local.get 0x11c))
  1501    (i64.store offset=0x11d align=1 (i32.const 0) (local.get 0x11d))
  1502    (i64.store offset=0x11e align=1 (i32.const 0) (local.get 0x11e))
  1503    (i64.store offset=0x11f align=1 (i32.const 0) (local.get 0x11f))
  1504    (i64.store offset=0x120 align=1 (i32.const 0) (local.get 0x120))
  1505    (i64.store offset=0x121 align=1 (i32.const 0) (local.get 0x121))
  1506    (i64.store offset=0x122 align=1 (i32.const 0) (local.get 0x122))
  1507    (i64.store offset=0x123 align=1 (i32.const 0) (local.get 0x123))
  1508    (i64.store offset=0x124 align=1 (i32.const 0) (local.get 0x124))
  1509    (i64.store offset=0x125 align=1 (i32.const 0) (local.get 0x125))
  1510    (i64.store offset=0x126 align=1 (i32.const 0) (local.get 0x126))
  1511    (i64.store offset=0x127 align=1 (i32.const 0) (local.get 0x127))
  1512    (i64.store offset=0x128 align=1 (i32.const 0) (local.get 0x128))
  1513    (i64.store offset=0x129 align=1 (i32.const 0) (local.get 0x129))
  1514    (i64.store offset=0x12a align=1 (i32.const 0) (local.get 0x12a))
  1515    (i64.store offset=0x12b align=1 (i32.const 0) (local.get 0x12b))
  1516    (i64.store offset=0x12c align=1 (i32.const 0) (local.get 0x12c))
  1517    (i64.store offset=0x12d align=1 (i32.const 0) (local.get 0x12d))
  1518    (i64.store offset=0x12e align=1 (i32.const 0) (local.get 0x12e))
  1519    (i64.store offset=0x12f align=1 (i32.const 0) (local.get 0x12f))
  1520    (i64.store offset=0x130 align=1 (i32.const 0) (local.get 0x130))
  1521    (i64.store offset=0x131 align=1 (i32.const 0) (local.get 0x131))
  1522    (i64.store offset=0x132 align=1 (i32.const 0) (local.get 0x132))
  1523    (i64.store offset=0x133 align=1 (i32.const 0) (local.get 0x133))
  1524    (i64.store offset=0x134 align=1 (i32.const 0) (local.get 0x134))
  1525    (i64.store offset=0x135 align=1 (i32.const 0) (local.get 0x135))
  1526    (i64.store offset=0x136 align=1 (i32.const 0) (local.get 0x136))
  1527    (i64.store offset=0x137 align=1 (i32.const 0) (local.get 0x137))
  1528    (i64.store offset=0x138 align=1 (i32.const 0) (local.get 0x138))
  1529    (i64.store offset=0x139 align=1 (i32.const 0) (local.get 0x139))
  1530    (i64.store offset=0x13a align=1 (i32.const 0) (local.get 0x13a))
  1531    (i64.store offset=0x13b align=1 (i32.const 0) (local.get 0x13b))
  1532    (i64.store offset=0x13c align=1 (i32.const 0) (local.get 0x13c))
  1533    (i64.store offset=0x13d align=1 (i32.const 0) (local.get 0x13d))
  1534    (i64.store offset=0x13e align=1 (i32.const 0) (local.get 0x13e))
  1535    (i64.store offset=0x13f align=1 (i32.const 0) (local.get 0x13f))
  1536    (i64.store offset=0x140 align=1 (i32.const 0) (local.get 0x140))
  1537    (i64.store offset=0x141 align=1 (i32.const 0) (local.get 0x141))
  1538    (i64.store offset=0x142 align=1 (i32.const 0) (local.get 0x142))
  1539    (i64.store offset=0x143 align=1 (i32.const 0) (local.get 0x143))
  1540    (i64.store offset=0x144 align=1 (i32.const 0) (local.get 0x144))
  1541    (i64.store offset=0x145 align=1 (i32.const 0) (local.get 0x145))
  1542    (i64.store offset=0x146 align=1 (i32.const 0) (local.get 0x146))
  1543    (i64.store offset=0x147 align=1 (i32.const 0) (local.get 0x147))
  1544    (i64.store offset=0x148 align=1 (i32.const 0) (local.get 0x148))
  1545    (i64.store offset=0x149 align=1 (i32.const 0) (local.get 0x149))
  1546    (i64.store offset=0x14a align=1 (i32.const 0) (local.get 0x14a))
  1547    (i64.store offset=0x14b align=1 (i32.const 0) (local.get 0x14b))
  1548    (i64.store offset=0x14c align=1 (i32.const 0) (local.get 0x14c))
  1549    (i64.store offset=0x14d align=1 (i32.const 0) (local.get 0x14d))
  1550    (i64.store offset=0x14e align=1 (i32.const 0) (local.get 0x14e))
  1551    (i64.store offset=0x14f align=1 (i32.const 0) (local.get 0x14f))
  1552    (i64.store offset=0x150 align=1 (i32.const 0) (local.get 0x150))
  1553    (i64.store offset=0x151 align=1 (i32.const 0) (local.get 0x151))
  1554    (i64.store offset=0x152 align=1 (i32.const 0) (local.get 0x152))
  1555    (i64.store offset=0x153 align=1 (i32.const 0) (local.get 0x153))
  1556    (i64.store offset=0x154 align=1 (i32.const 0) (local.get 0x154))
  1557    (i64.store offset=0x155 align=1 (i32.const 0) (local.get 0x155))
  1558    (i64.store offset=0x156 align=1 (i32.const 0) (local.get 0x156))
  1559    (i64.store offset=0x157 align=1 (i32.const 0) (local.get 0x157))
  1560    (i64.store offset=0x158 align=1 (i32.const 0) (local.get 0x158))
  1561    (i64.store offset=0x159 align=1 (i32.const 0) (local.get 0x159))
  1562    (i64.store offset=0x15a align=1 (i32.const 0) (local.get 0x15a))
  1563    (i64.store offset=0x15b align=1 (i32.const 0) (local.get 0x15b))
  1564    (i64.store offset=0x15c align=1 (i32.const 0) (local.get 0x15c))
  1565    (i64.store offset=0x15d align=1 (i32.const 0) (local.get 0x15d))
  1566    (i64.store offset=0x15e align=1 (i32.const 0) (local.get 0x15e))
  1567    (i64.store offset=0x15f align=1 (i32.const 0) (local.get 0x15f))
  1568    (i64.store offset=0x160 align=1 (i32.const 0) (local.get 0x160))
  1569    (i64.store offset=0x161 align=1 (i32.const 0) (local.get 0x161))
  1570    (i64.store offset=0x162 align=1 (i32.const 0) (local.get 0x162))
  1571    (i64.store offset=0x163 align=1 (i32.const 0) (local.get 0x163))
  1572    (i64.store offset=0x164 align=1 (i32.const 0) (local.get 0x164))
  1573    (i64.store offset=0x165 align=1 (i32.const 0) (local.get 0x165))
  1574    (i64.store offset=0x166 align=1 (i32.const 0) (local.get 0x166))
  1575    (i64.store offset=0x167 align=1 (i32.const 0) (local.get 0x167))
  1576    (i64.store offset=0x168 align=1 (i32.const 0) (local.get 0x168))
  1577    (i64.store offset=0x169 align=1 (i32.const 0) (local.get 0x169))
  1578    (i64.store offset=0x16a align=1 (i32.const 0) (local.get 0x16a))
  1579    (i64.store offset=0x16b align=1 (i32.const 0) (local.get 0x16b))
  1580    (i64.store offset=0x16c align=1 (i32.const 0) (local.get 0x16c))
  1581    (i64.store offset=0x16d align=1 (i32.const 0) (local.get 0x16d))
  1582    (i64.store offset=0x16e align=1 (i32.const 0) (local.get 0x16e))
  1583    (i64.store offset=0x16f align=1 (i32.const 0) (local.get 0x16f))
  1584    (i64.store offset=0x170 align=1 (i32.const 0) (local.get 0x170))
  1585    (i64.store offset=0x171 align=1 (i32.const 0) (local.get 0x171))
  1586    (i64.store offset=0x172 align=1 (i32.const 0) (local.get 0x172))
  1587    (i64.store offset=0x173 align=1 (i32.const 0) (local.get 0x173))
  1588    (i64.store offset=0x174 align=1 (i32.const 0) (local.get 0x174))
  1589    (i64.store offset=0x175 align=1 (i32.const 0) (local.get 0x175))
  1590    (i64.store offset=0x176 align=1 (i32.const 0) (local.get 0x176))
  1591    (i64.store offset=0x177 align=1 (i32.const 0) (local.get 0x177))
  1592    (i64.store offset=0x178 align=1 (i32.const 0) (local.get 0x178))
  1593    (i64.store offset=0x179 align=1 (i32.const 0) (local.get 0x179))
  1594    (i64.store offset=0x17a align=1 (i32.const 0) (local.get 0x17a))
  1595    (i64.store offset=0x17b align=1 (i32.const 0) (local.get 0x17b))
  1596    (i64.store offset=0x17c align=1 (i32.const 0) (local.get 0x17c))
  1597    (i64.store offset=0x17d align=1 (i32.const 0) (local.get 0x17d))
  1598    (i64.store offset=0x17e align=1 (i32.const 0) (local.get 0x17e))
  1599    (i64.store offset=0x17f align=1 (i32.const 0) (local.get 0x17f))
  1600    (i64.store offset=0x180 align=1 (i32.const 0) (local.get 0x180))
  1601    (i64.store offset=0x181 align=1 (i32.const 0) (local.get 0x181))
  1602    (i64.store offset=0x182 align=1 (i32.const 0) (local.get 0x182))
  1603    (i64.store offset=0x183 align=1 (i32.const 0) (local.get 0x183))
  1604    (i64.store offset=0x184 align=1 (i32.const 0) (local.get 0x184))
  1605    (i64.store offset=0x185 align=1 (i32.const 0) (local.get 0x185))
  1606    (i64.store offset=0x186 align=1 (i32.const 0) (local.get 0x186))
  1607    (i64.store offset=0x187 align=1 (i32.const 0) (local.get 0x187))
  1608    (i64.store offset=0x188 align=1 (i32.const 0) (local.get 0x188))
  1609    (i64.store offset=0x189 align=1 (i32.const 0) (local.get 0x189))
  1610    (i64.store offset=0x18a align=1 (i32.const 0) (local.get 0x18a))
  1611    (i64.store offset=0x18b align=1 (i32.const 0) (local.get 0x18b))
  1612    (i64.store offset=0x18c align=1 (i32.const 0) (local.get 0x18c))
  1613    (i64.store offset=0x18d align=1 (i32.const 0) (local.get 0x18d))
  1614    (i64.store offset=0x18e align=1 (i32.const 0) (local.get 0x18e))
  1615    (i64.store offset=0x18f align=1 (i32.const 0) (local.get 0x18f))
  1616    (i64.store offset=0x190 align=1 (i32.const 0) (local.get 0x190))
  1617    (i64.store offset=0x191 align=1 (i32.const 0) (local.get 0x191))
  1618    (i64.store offset=0x192 align=1 (i32.const 0) (local.get 0x192))
  1619    (i64.store offset=0x193 align=1 (i32.const 0) (local.get 0x193))
  1620    (i64.store offset=0x194 align=1 (i32.const 0) (local.get 0x194))
  1621    (i64.store offset=0x195 align=1 (i32.const 0) (local.get 0x195))
  1622    (i64.store offset=0x196 align=1 (i32.const 0) (local.get 0x196))
  1623    (i64.store offset=0x197 align=1 (i32.const 0) (local.get 0x197))
  1624    (i64.store offset=0x198 align=1 (i32.const 0) (local.get 0x198))
  1625    (i64.store offset=0x199 align=1 (i32.const 0) (local.get 0x199))
  1626    (i64.store offset=0x19a align=1 (i32.const 0) (local.get 0x19a))
  1627    (i64.store offset=0x19b align=1 (i32.const 0) (local.get 0x19b))
  1628    (i64.store offset=0x19c align=1 (i32.const 0) (local.get 0x19c))
  1629    (i64.store offset=0x19d align=1 (i32.const 0) (local.get 0x19d))
  1630    (i64.store offset=0x19e align=1 (i32.const 0) (local.get 0x19e))
  1631    (i64.store offset=0x19f align=1 (i32.const 0) (local.get 0x19f))
  1632    (i64.store offset=0x1a0 align=1 (i32.const 0) (local.get 0x1a0))
  1633    (i64.store offset=0x1a1 align=1 (i32.const 0) (local.get 0x1a1))
  1634    (i64.store offset=0x1a2 align=1 (i32.const 0) (local.get 0x1a2))
  1635    (i64.store offset=0x1a3 align=1 (i32.const 0) (local.get 0x1a3))
  1636    (i64.store offset=0x1a4 align=1 (i32.const 0) (local.get 0x1a4))
  1637    (i64.store offset=0x1a5 align=1 (i32.const 0) (local.get 0x1a5))
  1638    (i64.store offset=0x1a6 align=1 (i32.const 0) (local.get 0x1a6))
  1639    (i64.store offset=0x1a7 align=1 (i32.const 0) (local.get 0x1a7))
  1640    (i64.store offset=0x1a8 align=1 (i32.const 0) (local.get 0x1a8))
  1641    (i64.store offset=0x1a9 align=1 (i32.const 0) (local.get 0x1a9))
  1642    (i64.store offset=0x1aa align=1 (i32.const 0) (local.get 0x1aa))
  1643    (i64.store offset=0x1ab align=1 (i32.const 0) (local.get 0x1ab))
  1644    (i64.store offset=0x1ac align=1 (i32.const 0) (local.get 0x1ac))
  1645    (i64.store offset=0x1ad align=1 (i32.const 0) (local.get 0x1ad))
  1646    (i64.store offset=0x1ae align=1 (i32.const 0) (local.get 0x1ae))
  1647    (i64.store offset=0x1af align=1 (i32.const 0) (local.get 0x1af))
  1648    (i64.store offset=0x1b0 align=1 (i32.const 0) (local.get 0x1b0))
  1649    (i64.store offset=0x1b1 align=1 (i32.const 0) (local.get 0x1b1))
  1650    (i64.store offset=0x1b2 align=1 (i32.const 0) (local.get 0x1b2))
  1651    (i64.store offset=0x1b3 align=1 (i32.const 0) (local.get 0x1b3))
  1652    (i64.store offset=0x1b4 align=1 (i32.const 0) (local.get 0x1b4))
  1653    (i64.store offset=0x1b5 align=1 (i32.const 0) (local.get 0x1b5))
  1654    (i64.store offset=0x1b6 align=1 (i32.const 0) (local.get 0x1b6))
  1655    (i64.store offset=0x1b7 align=1 (i32.const 0) (local.get 0x1b7))
  1656    (i64.store offset=0x1b8 align=1 (i32.const 0) (local.get 0x1b8))
  1657    (i64.store offset=0x1b9 align=1 (i32.const 0) (local.get 0x1b9))
  1658    (i64.store offset=0x1ba align=1 (i32.const 0) (local.get 0x1ba))
  1659    (i64.store offset=0x1bb align=1 (i32.const 0) (local.get 0x1bb))
  1660    (i64.store offset=0x1bc align=1 (i32.const 0) (local.get 0x1bc))
  1661    (i64.store offset=0x1bd align=1 (i32.const 0) (local.get 0x1bd))
  1662    (i64.store offset=0x1be align=1 (i32.const 0) (local.get 0x1be))
  1663    (i64.store offset=0x1bf align=1 (i32.const 0) (local.get 0x1bf))
  1664    (i64.store offset=0x1c0 align=1 (i32.const 0) (local.get 0x1c0))
  1665    (i64.store offset=0x1c1 align=1 (i32.const 0) (local.get 0x1c1))
  1666    (i64.store offset=0x1c2 align=1 (i32.const 0) (local.get 0x1c2))
  1667    (i64.store offset=0x1c3 align=1 (i32.const 0) (local.get 0x1c3))
  1668    (i64.store offset=0x1c4 align=1 (i32.const 0) (local.get 0x1c4))
  1669    (i64.store offset=0x1c5 align=1 (i32.const 0) (local.get 0x1c5))
  1670    (i64.store offset=0x1c6 align=1 (i32.const 0) (local.get 0x1c6))
  1671    (i64.store offset=0x1c7 align=1 (i32.const 0) (local.get 0x1c7))
  1672    (i64.store offset=0x1c8 align=1 (i32.const 0) (local.get 0x1c8))
  1673    (i64.store offset=0x1c9 align=1 (i32.const 0) (local.get 0x1c9))
  1674    (i64.store offset=0x1ca align=1 (i32.const 0) (local.get 0x1ca))
  1675    (i64.store offset=0x1cb align=1 (i32.const 0) (local.get 0x1cb))
  1676    (i64.store offset=0x1cc align=1 (i32.const 0) (local.get 0x1cc))
  1677    (i64.store offset=0x1cd align=1 (i32.const 0) (local.get 0x1cd))
  1678    (i64.store offset=0x1ce align=1 (i32.const 0) (local.get 0x1ce))
  1679    (i64.store offset=0x1cf align=1 (i32.const 0) (local.get 0x1cf))
  1680    (i64.store offset=0x1d0 align=1 (i32.const 0) (local.get 0x1d0))
  1681    (i64.store offset=0x1d1 align=1 (i32.const 0) (local.get 0x1d1))
  1682    (i64.store offset=0x1d2 align=1 (i32.const 0) (local.get 0x1d2))
  1683    (i64.store offset=0x1d3 align=1 (i32.const 0) (local.get 0x1d3))
  1684    (i64.store offset=0x1d4 align=1 (i32.const 0) (local.get 0x1d4))
  1685    (i64.store offset=0x1d5 align=1 (i32.const 0) (local.get 0x1d5))
  1686    (i64.store offset=0x1d6 align=1 (i32.const 0) (local.get 0x1d6))
  1687    (i64.store offset=0x1d7 align=1 (i32.const 0) (local.get 0x1d7))
  1688    (i64.store offset=0x1d8 align=1 (i32.const 0) (local.get 0x1d8))
  1689    (i64.store offset=0x1d9 align=1 (i32.const 0) (local.get 0x1d9))
  1690    (i64.store offset=0x1da align=1 (i32.const 0) (local.get 0x1da))
  1691    (i64.store offset=0x1db align=1 (i32.const 0) (local.get 0x1db))
  1692    (i64.store offset=0x1dc align=1 (i32.const 0) (local.get 0x1dc))
  1693    (i64.store offset=0x1dd align=1 (i32.const 0) (local.get 0x1dd))
  1694    (i64.store offset=0x1de align=1 (i32.const 0) (local.get 0x1de))
  1695    (i64.store offset=0x1df align=1 (i32.const 0) (local.get 0x1df))
  1696    (i64.store offset=0x1e0 align=1 (i32.const 0) (local.get 0x1e0))
  1697    (i64.store offset=0x1e1 align=1 (i32.const 0) (local.get 0x1e1))
  1698    (i64.store offset=0x1e2 align=1 (i32.const 0) (local.get 0x1e2))
  1699    (i64.store offset=0x1e3 align=1 (i32.const 0) (local.get 0x1e3))
  1700    (i64.store offset=0x1e4 align=1 (i32.const 0) (local.get 0x1e4))
  1701    (i64.store offset=0x1e5 align=1 (i32.const 0) (local.get 0x1e5))
  1702    (i64.store offset=0x1e6 align=1 (i32.const 0) (local.get 0x1e6))
  1703    (i64.store offset=0x1e7 align=1 (i32.const 0) (local.get 0x1e7))
  1704    (i64.store offset=0x1e8 align=1 (i32.const 0) (local.get 0x1e8))
  1705    (i64.store offset=0x1e9 align=1 (i32.const 0) (local.get 0x1e9))
  1706    (i64.store offset=0x1ea align=1 (i32.const 0) (local.get 0x1ea))
  1707    (i64.store offset=0x1eb align=1 (i32.const 0) (local.get 0x1eb))
  1708    (i64.store offset=0x1ec align=1 (i32.const 0) (local.get 0x1ec))
  1709    (i64.store offset=0x1ed align=1 (i32.const 0) (local.get 0x1ed))
  1710    (i64.store offset=0x1ee align=1 (i32.const 0) (local.get 0x1ee))
  1711    (i64.store offset=0x1ef align=1 (i32.const 0) (local.get 0x1ef))
  1712    (i64.store offset=0x1f0 align=1 (i32.const 0) (local.get 0x1f0))
  1713    (i64.store offset=0x1f1 align=1 (i32.const 0) (local.get 0x1f1))
  1714    (i64.store offset=0x1f2 align=1 (i32.const 0) (local.get 0x1f2))
  1715    (i64.store offset=0x1f3 align=1 (i32.const 0) (local.get 0x1f3))
  1716    (i64.store offset=0x1f4 align=1 (i32.const 0) (local.get 0x1f4))
  1717    (i64.store offset=0x1f5 align=1 (i32.const 0) (local.get 0x1f5))
  1718    (i64.store offset=0x1f6 align=1 (i32.const 0) (local.get 0x1f6))
  1719    (i64.store offset=0x1f7 align=1 (i32.const 0) (local.get 0x1f7))
  1720    (i64.store offset=0x1f8 align=1 (i32.const 0) (local.get 0x1f8))
  1721    (i64.store offset=0x1f9 align=1 (i32.const 0) (local.get 0x1f9))
  1722    (i64.store offset=0x1fa align=1 (i32.const 0) (local.get 0x1fa))
  1723    (i64.store offset=0x1fb align=1 (i32.const 0) (local.get 0x1fb))
  1724    (i64.store offset=0x1fc align=1 (i32.const 0) (local.get 0x1fc))
  1725    (i64.store offset=0x1fd align=1 (i32.const 0) (local.get 0x1fd))
  1726    (i64.store offset=0x1fe align=1 (i32.const 0) (local.get 0x1fe))
  1727    (i64.store offset=0x1ff align=1 (i32.const 0) (local.get 0x1ff))
  1728    (i64.store offset=0x200 align=1 (i32.const 0) (local.get 0x200))
  1729    (i64.store offset=0x201 align=1 (i32.const 0) (local.get 0x201))
  1730    (i64.store offset=0x202 align=1 (i32.const 0) (local.get 0x202))
  1731    (i64.store offset=0x203 align=1 (i32.const 0) (local.get 0x203))
  1732    (i64.store offset=0x204 align=1 (i32.const 0) (local.get 0x204))
  1733    (i64.store offset=0x205 align=1 (i32.const 0) (local.get 0x205))
  1734    (i64.store offset=0x206 align=1 (i32.const 0) (local.get 0x206))
  1735    (i64.store offset=0x207 align=1 (i32.const 0) (local.get 0x207))
  1736    (i64.store offset=0x208 align=1 (i32.const 0) (local.get 0x208))
  1737    (i64.store offset=0x209 align=1 (i32.const 0) (local.get 0x209))
  1738    (i64.store offset=0x20a align=1 (i32.const 0) (local.get 0x20a))
  1739    (i64.store offset=0x20b align=1 (i32.const 0) (local.get 0x20b))
  1740    (i64.store offset=0x20c align=1 (i32.const 0) (local.get 0x20c))
  1741    (i64.store offset=0x20d align=1 (i32.const 0) (local.get 0x20d))
  1742    (i64.store offset=0x20e align=1 (i32.const 0) (local.get 0x20e))
  1743    (i64.store offset=0x20f align=1 (i32.const 0) (local.get 0x20f))
  1744    (i64.store offset=0x210 align=1 (i32.const 0) (local.get 0x210))
  1745    (i64.store offset=0x211 align=1 (i32.const 0) (local.get 0x211))
  1746    (i64.store offset=0x212 align=1 (i32.const 0) (local.get 0x212))
  1747    (i64.store offset=0x213 align=1 (i32.const 0) (local.get 0x213))
  1748    (i64.store offset=0x214 align=1 (i32.const 0) (local.get 0x214))
  1749    (i64.store offset=0x215 align=1 (i32.const 0) (local.get 0x215))
  1750    (i64.store offset=0x216 align=1 (i32.const 0) (local.get 0x216))
  1751    (i64.store offset=0x217 align=1 (i32.const 0) (local.get 0x217))
  1752    (i64.store offset=0x218 align=1 (i32.const 0) (local.get 0x218))
  1753    (i64.store offset=0x219 align=1 (i32.const 0) (local.get 0x219))
  1754    (i64.store offset=0x21a align=1 (i32.const 0) (local.get 0x21a))
  1755    (i64.store offset=0x21b align=1 (i32.const 0) (local.get 0x21b))
  1756    (i64.store offset=0x21c align=1 (i32.const 0) (local.get 0x21c))
  1757    (i64.store offset=0x21d align=1 (i32.const 0) (local.get 0x21d))
  1758    (i64.store offset=0x21e align=1 (i32.const 0) (local.get 0x21e))
  1759    (i64.store offset=0x21f align=1 (i32.const 0) (local.get 0x21f))
  1760    (i64.store offset=0x220 align=1 (i32.const 0) (local.get 0x220))
  1761    (i64.store offset=0x221 align=1 (i32.const 0) (local.get 0x221))
  1762    (i64.store offset=0x222 align=1 (i32.const 0) (local.get 0x222))
  1763    (i64.store offset=0x223 align=1 (i32.const 0) (local.get 0x223))
  1764    (i64.store offset=0x224 align=1 (i32.const 0) (local.get 0x224))
  1765    (i64.store offset=0x225 align=1 (i32.const 0) (local.get 0x225))
  1766    (i64.store offset=0x226 align=1 (i32.const 0) (local.get 0x226))
  1767    (i64.store offset=0x227 align=1 (i32.const 0) (local.get 0x227))
  1768    (i64.store offset=0x228 align=1 (i32.const 0) (local.get 0x228))
  1769    (i64.store offset=0x229 align=1 (i32.const 0) (local.get 0x229))
  1770    (i64.store offset=0x22a align=1 (i32.const 0) (local.get 0x22a))
  1771    (i64.store offset=0x22b align=1 (i32.const 0) (local.get 0x22b))
  1772    (i64.store offset=0x22c align=1 (i32.const 0) (local.get 0x22c))
  1773    (i64.store offset=0x22d align=1 (i32.const 0) (local.get 0x22d))
  1774    (i64.store offset=0x22e align=1 (i32.const 0) (local.get 0x22e))
  1775    (i64.store offset=0x22f align=1 (i32.const 0) (local.get 0x22f))
  1776    (i64.store offset=0x230 align=1 (i32.const 0) (local.get 0x230))
  1777    (i64.store offset=0x231 align=1 (i32.const 0) (local.get 0x231))
  1778    (i64.store offset=0x232 align=1 (i32.const 0) (local.get 0x232))
  1779    (i64.store offset=0x233 align=1 (i32.const 0) (local.get 0x233))
  1780    (i64.store offset=0x234 align=1 (i32.const 0) (local.get 0x234))
  1781    (i64.store offset=0x235 align=1 (i32.const 0) (local.get 0x235))
  1782    (i64.store offset=0x236 align=1 (i32.const 0) (local.get 0x236))
  1783    (i64.store offset=0x237 align=1 (i32.const 0) (local.get 0x237))
  1784    (i64.store offset=0x238 align=1 (i32.const 0) (local.get 0x238))
  1785    (i64.store offset=0x239 align=1 (i32.const 0) (local.get 0x239))
  1786    (i64.store offset=0x23a align=1 (i32.const 0) (local.get 0x23a))
  1787    (i64.store offset=0x23b align=1 (i32.const 0) (local.get 0x23b))
  1788    (i64.store offset=0x23c align=1 (i32.const 0) (local.get 0x23c))
  1789    (i64.store offset=0x23d align=1 (i32.const 0) (local.get 0x23d))
  1790    (i64.store offset=0x23e align=1 (i32.const 0) (local.get 0x23e))
  1791    (i64.store offset=0x23f align=1 (i32.const 0) (local.get 0x23f))
  1792    (i64.store offset=0x240 align=1 (i32.const 0) (local.get 0x240))
  1793    (i64.store offset=0x241 align=1 (i32.const 0) (local.get 0x241))
  1794    (i64.store offset=0x242 align=1 (i32.const 0) (local.get 0x242))
  1795    (i64.store offset=0x243 align=1 (i32.const 0) (local.get 0x243))
  1796    (i64.store offset=0x244 align=1 (i32.const 0) (local.get 0x244))
  1797    (i64.store offset=0x245 align=1 (i32.const 0) (local.get 0x245))
  1798    (i64.store offset=0x246 align=1 (i32.const 0) (local.get 0x246))
  1799    (i64.store offset=0x247 align=1 (i32.const 0) (local.get 0x247))
  1800    (i64.store offset=0x248 align=1 (i32.const 0) (local.get 0x248))
  1801    (i64.store offset=0x249 align=1 (i32.const 0) (local.get 0x249))
  1802    (i64.store offset=0x24a align=1 (i32.const 0) (local.get 0x24a))
  1803    (i64.store offset=0x24b align=1 (i32.const 0) (local.get 0x24b))
  1804    (i64.store offset=0x24c align=1 (i32.const 0) (local.get 0x24c))
  1805    (i64.store offset=0x24d align=1 (i32.const 0) (local.get 0x24d))
  1806    (i64.store offset=0x24e align=1 (i32.const 0) (local.get 0x24e))
  1807    (i64.store offset=0x24f align=1 (i32.const 0) (local.get 0x24f))
  1808    (i64.store offset=0x250 align=1 (i32.const 0) (local.get 0x250))
  1809    (i64.store offset=0x251 align=1 (i32.const 0) (local.get 0x251))
  1810    (i64.store offset=0x252 align=1 (i32.const 0) (local.get 0x252))
  1811    (i64.store offset=0x253 align=1 (i32.const 0) (local.get 0x253))
  1812    (i64.store offset=0x254 align=1 (i32.const 0) (local.get 0x254))
  1813    (i64.store offset=0x255 align=1 (i32.const 0) (local.get 0x255))
  1814    (i64.store offset=0x256 align=1 (i32.const 0) (local.get 0x256))
  1815    (i64.store offset=0x257 align=1 (i32.const 0) (local.get 0x257))
  1816    (i64.store offset=0x258 align=1 (i32.const 0) (local.get 0x258))
  1817    (i64.store offset=0x259 align=1 (i32.const 0) (local.get 0x259))
  1818    (i64.store offset=0x25a align=1 (i32.const 0) (local.get 0x25a))
  1819    (i64.store offset=0x25b align=1 (i32.const 0) (local.get 0x25b))
  1820    (i64.store offset=0x25c align=1 (i32.const 0) (local.get 0x25c))
  1821    (i64.store offset=0x25d align=1 (i32.const 0) (local.get 0x25d))
  1822    (i64.store offset=0x25e align=1 (i32.const 0) (local.get 0x25e))
  1823    (i64.store offset=0x25f align=1 (i32.const 0) (local.get 0x25f))
  1824    (i64.store offset=0x260 align=1 (i32.const 0) (local.get 0x260))
  1825    (i64.store offset=0x261 align=1 (i32.const 0) (local.get 0x261))
  1826    (i64.store offset=0x262 align=1 (i32.const 0) (local.get 0x262))
  1827    (i64.store offset=0x263 align=1 (i32.const 0) (local.get 0x263))
  1828    (i64.store offset=0x264 align=1 (i32.const 0) (local.get 0x264))
  1829    (i64.store offset=0x265 align=1 (i32.const 0) (local.get 0x265))
  1830    (i64.store offset=0x266 align=1 (i32.const 0) (local.get 0x266))
  1831    (i64.store offset=0x267 align=1 (i32.const 0) (local.get 0x267))
  1832    (i64.store offset=0x268 align=1 (i32.const 0) (local.get 0x268))
  1833    (i64.store offset=0x269 align=1 (i32.const 0) (local.get 0x269))
  1834    (i64.store offset=0x26a align=1 (i32.const 0) (local.get 0x26a))
  1835    (i64.store offset=0x26b align=1 (i32.const 0) (local.get 0x26b))
  1836    (i64.store offset=0x26c align=1 (i32.const 0) (local.get 0x26c))
  1837    (i64.store offset=0x26d align=1 (i32.const 0) (local.get 0x26d))
  1838    (i64.store offset=0x26e align=1 (i32.const 0) (local.get 0x26e))
  1839    (i64.store offset=0x26f align=1 (i32.const 0) (local.get 0x26f))
  1840    (i64.store offset=0x270 align=1 (i32.const 0) (local.get 0x270))
  1841    (i64.store offset=0x271 align=1 (i32.const 0) (local.get 0x271))
  1842    (i64.store offset=0x272 align=1 (i32.const 0) (local.get 0x272))
  1843    (i64.store offset=0x273 align=1 (i32.const 0) (local.get 0x273))
  1844    (i64.store offset=0x274 align=1 (i32.const 0) (local.get 0x274))
  1845    (i64.store offset=0x275 align=1 (i32.const 0) (local.get 0x275))
  1846    (i64.store offset=0x276 align=1 (i32.const 0) (local.get 0x276))
  1847    (i64.store offset=0x277 align=1 (i32.const 0) (local.get 0x277))
  1848    (i64.store offset=0x278 align=1 (i32.const 0) (local.get 0x278))
  1849    (i64.store offset=0x279 align=1 (i32.const 0) (local.get 0x279))
  1850    (i64.store offset=0x27a align=1 (i32.const 0) (local.get 0x27a))
  1851    (i64.store offset=0x27b align=1 (i32.const 0) (local.get 0x27b))
  1852    (i64.store offset=0x27c align=1 (i32.const 0) (local.get 0x27c))
  1853    (i64.store offset=0x27d align=1 (i32.const 0) (local.get 0x27d))
  1854    (i64.store offset=0x27e align=1 (i32.const 0) (local.get 0x27e))
  1855    (i64.store offset=0x27f align=1 (i32.const 0) (local.get 0x27f))
  1856    (i64.store offset=0x280 align=1 (i32.const 0) (local.get 0x280))
  1857    (i64.store offset=0x281 align=1 (i32.const 0) (local.get 0x281))
  1858    (i64.store offset=0x282 align=1 (i32.const 0) (local.get 0x282))
  1859    (i64.store offset=0x283 align=1 (i32.const 0) (local.get 0x283))
  1860    (i64.store offset=0x284 align=1 (i32.const 0) (local.get 0x284))
  1861    (i64.store offset=0x285 align=1 (i32.const 0) (local.get 0x285))
  1862    (i64.store offset=0x286 align=1 (i32.const 0) (local.get 0x286))
  1863    (i64.store offset=0x287 align=1 (i32.const 0) (local.get 0x287))
  1864    (i64.store offset=0x288 align=1 (i32.const 0) (local.get 0x288))
  1865    (i64.store offset=0x289 align=1 (i32.const 0) (local.get 0x289))
  1866    (i64.store offset=0x28a align=1 (i32.const 0) (local.get 0x28a))
  1867    (i64.store offset=0x28b align=1 (i32.const 0) (local.get 0x28b))
  1868    (i64.store offset=0x28c align=1 (i32.const 0) (local.get 0x28c))
  1869    (i64.store offset=0x28d align=1 (i32.const 0) (local.get 0x28d))
  1870    (i64.store offset=0x28e align=1 (i32.const 0) (local.get 0x28e))
  1871    (i64.store offset=0x28f align=1 (i32.const 0) (local.get 0x28f))
  1872    (i64.store offset=0x290 align=1 (i32.const 0) (local.get 0x290))
  1873    (i64.store offset=0x291 align=1 (i32.const 0) (local.get 0x291))
  1874    (i64.store offset=0x292 align=1 (i32.const 0) (local.get 0x292))
  1875    (i64.store offset=0x293 align=1 (i32.const 0) (local.get 0x293))
  1876    (i64.store offset=0x294 align=1 (i32.const 0) (local.get 0x294))
  1877    (i64.store offset=0x295 align=1 (i32.const 0) (local.get 0x295))
  1878    (i64.store offset=0x296 align=1 (i32.const 0) (local.get 0x296))
  1879    (i64.store offset=0x297 align=1 (i32.const 0) (local.get 0x297))
  1880    (i64.store offset=0x298 align=1 (i32.const 0) (local.get 0x298))
  1881    (i64.store offset=0x299 align=1 (i32.const 0) (local.get 0x299))
  1882    (i64.store offset=0x29a align=1 (i32.const 0) (local.get 0x29a))
  1883    (i64.store offset=0x29b align=1 (i32.const 0) (local.get 0x29b))
  1884    (i64.store offset=0x29c align=1 (i32.const 0) (local.get 0x29c))
  1885    (i64.store offset=0x29d align=1 (i32.const 0) (local.get 0x29d))
  1886    (i64.store offset=0x29e align=1 (i32.const 0) (local.get 0x29e))
  1887    (i64.store offset=0x29f align=1 (i32.const 0) (local.get 0x29f))
  1888    (i64.store offset=0x2a0 align=1 (i32.const 0) (local.get 0x2a0))
  1889    (i64.store offset=0x2a1 align=1 (i32.const 0) (local.get 0x2a1))
  1890    (i64.store offset=0x2a2 align=1 (i32.const 0) (local.get 0x2a2))
  1891    (i64.store offset=0x2a3 align=1 (i32.const 0) (local.get 0x2a3))
  1892    (i64.store offset=0x2a4 align=1 (i32.const 0) (local.get 0x2a4))
  1893    (i64.store offset=0x2a5 align=1 (i32.const 0) (local.get 0x2a5))
  1894    (i64.store offset=0x2a6 align=1 (i32.const 0) (local.get 0x2a6))
  1895    (i64.store offset=0x2a7 align=1 (i32.const 0) (local.get 0x2a7))
  1896    (i64.store offset=0x2a8 align=1 (i32.const 0) (local.get 0x2a8))
  1897    (i64.store offset=0x2a9 align=1 (i32.const 0) (local.get 0x2a9))
  1898    (i64.store offset=0x2aa align=1 (i32.const 0) (local.get 0x2aa))
  1899    (i64.store offset=0x2ab align=1 (i32.const 0) (local.get 0x2ab))
  1900    (i64.store offset=0x2ac align=1 (i32.const 0) (local.get 0x2ac))
  1901    (i64.store offset=0x2ad align=1 (i32.const 0) (local.get 0x2ad))
  1902    (i64.store offset=0x2ae align=1 (i32.const 0) (local.get 0x2ae))
  1903    (i64.store offset=0x2af align=1 (i32.const 0) (local.get 0x2af))
  1904    (i64.store offset=0x2b0 align=1 (i32.const 0) (local.get 0x2b0))
  1905    (i64.store offset=0x2b1 align=1 (i32.const 0) (local.get 0x2b1))
  1906    (i64.store offset=0x2b2 align=1 (i32.const 0) (local.get 0x2b2))
  1907    (i64.store offset=0x2b3 align=1 (i32.const 0) (local.get 0x2b3))
  1908    (i64.store offset=0x2b4 align=1 (i32.const 0) (local.get 0x2b4))
  1909    (i64.store offset=0x2b5 align=1 (i32.const 0) (local.get 0x2b5))
  1910    (i64.store offset=0x2b6 align=1 (i32.const 0) (local.get 0x2b6))
  1911    (i64.store offset=0x2b7 align=1 (i32.const 0) (local.get 0x2b7))
  1912    (i64.store offset=0x2b8 align=1 (i32.const 0) (local.get 0x2b8))
  1913    (i64.store offset=0x2b9 align=1 (i32.const 0) (local.get 0x2b9))
  1914    (i64.store offset=0x2ba align=1 (i32.const 0) (local.get 0x2ba))
  1915    (i64.store offset=0x2bb align=1 (i32.const 0) (local.get 0x2bb))
  1916    (i64.store offset=0x2bc align=1 (i32.const 0) (local.get 0x2bc))
  1917    (i64.store offset=0x2bd align=1 (i32.const 0) (local.get 0x2bd))
  1918    (i64.store offset=0x2be align=1 (i32.const 0) (local.get 0x2be))
  1919    (i64.store offset=0x2bf align=1 (i32.const 0) (local.get 0x2bf))
  1920    (i64.store offset=0x2c0 align=1 (i32.const 0) (local.get 0x2c0))
  1921    (i64.store offset=0x2c1 align=1 (i32.const 0) (local.get 0x2c1))
  1922    (i64.store offset=0x2c2 align=1 (i32.const 0) (local.get 0x2c2))
  1923    (i64.store offset=0x2c3 align=1 (i32.const 0) (local.get 0x2c3))
  1924    (i64.store offset=0x2c4 align=1 (i32.const 0) (local.get 0x2c4))
  1925    (i64.store offset=0x2c5 align=1 (i32.const 0) (local.get 0x2c5))
  1926    (i64.store offset=0x2c6 align=1 (i32.const 0) (local.get 0x2c6))
  1927    (i64.store offset=0x2c7 align=1 (i32.const 0) (local.get 0x2c7))
  1928    (i64.store offset=0x2c8 align=1 (i32.const 0) (local.get 0x2c8))
  1929    (i64.store offset=0x2c9 align=1 (i32.const 0) (local.get 0x2c9))
  1930    (i64.store offset=0x2ca align=1 (i32.const 0) (local.get 0x2ca))
  1931    (i64.store offset=0x2cb align=1 (i32.const 0) (local.get 0x2cb))
  1932    (i64.store offset=0x2cc align=1 (i32.const 0) (local.get 0x2cc))
  1933    (i64.store offset=0x2cd align=1 (i32.const 0) (local.get 0x2cd))
  1934    (i64.store offset=0x2ce align=1 (i32.const 0) (local.get 0x2ce))
  1935    (i64.store offset=0x2cf align=1 (i32.const 0) (local.get 0x2cf))
  1936    (i64.store offset=0x2d0 align=1 (i32.const 0) (local.get 0x2d0))
  1937    (i64.store offset=0x2d1 align=1 (i32.const 0) (local.get 0x2d1))
  1938    (i64.store offset=0x2d2 align=1 (i32.const 0) (local.get 0x2d2))
  1939    (i64.store offset=0x2d3 align=1 (i32.const 0) (local.get 0x2d3))
  1940    (i64.store offset=0x2d4 align=1 (i32.const 0) (local.get 0x2d4))
  1941    (i64.store offset=0x2d5 align=1 (i32.const 0) (local.get 0x2d5))
  1942    (i64.store offset=0x2d6 align=1 (i32.const 0) (local.get 0x2d6))
  1943    (i64.store offset=0x2d7 align=1 (i32.const 0) (local.get 0x2d7))
  1944    (i64.store offset=0x2d8 align=1 (i32.const 0) (local.get 0x2d8))
  1945    (i64.store offset=0x2d9 align=1 (i32.const 0) (local.get 0x2d9))
  1946    (i64.store offset=0x2da align=1 (i32.const 0) (local.get 0x2da))
  1947    (i64.store offset=0x2db align=1 (i32.const 0) (local.get 0x2db))
  1948    (i64.store offset=0x2dc align=1 (i32.const 0) (local.get 0x2dc))
  1949    (i64.store offset=0x2dd align=1 (i32.const 0) (local.get 0x2dd))
  1950    (i64.store offset=0x2de align=1 (i32.const 0) (local.get 0x2de))
  1951    (i64.store offset=0x2df align=1 (i32.const 0) (local.get 0x2df))
  1952    (i64.store offset=0x2e0 align=1 (i32.const 0) (local.get 0x2e0))
  1953    (i64.store offset=0x2e1 align=1 (i32.const 0) (local.get 0x2e1))
  1954    (i64.store offset=0x2e2 align=1 (i32.const 0) (local.get 0x2e2))
  1955    (i64.store offset=0x2e3 align=1 (i32.const 0) (local.get 0x2e3))
  1956    (i64.store offset=0x2e4 align=1 (i32.const 0) (local.get 0x2e4))
  1957    (i64.store offset=0x2e5 align=1 (i32.const 0) (local.get 0x2e5))
  1958    (i64.store offset=0x2e6 align=1 (i32.const 0) (local.get 0x2e6))
  1959    (i64.store offset=0x2e7 align=1 (i32.const 0) (local.get 0x2e7))
  1960    (i64.store offset=0x2e8 align=1 (i32.const 0) (local.get 0x2e8))
  1961    (i64.store offset=0x2e9 align=1 (i32.const 0) (local.get 0x2e9))
  1962    (i64.store offset=0x2ea align=1 (i32.const 0) (local.get 0x2ea))
  1963    (i64.store offset=0x2eb align=1 (i32.const 0) (local.get 0x2eb))
  1964    (i64.store offset=0x2ec align=1 (i32.const 0) (local.get 0x2ec))
  1965    (i64.store offset=0x2ed align=1 (i32.const 0) (local.get 0x2ed))
  1966    (i64.store offset=0x2ee align=1 (i32.const 0) (local.get 0x2ee))
  1967    (i64.store offset=0x2ef align=1 (i32.const 0) (local.get 0x2ef))
  1968    (i64.store offset=0x2f0 align=1 (i32.const 0) (local.get 0x2f0))
  1969    (i64.store offset=0x2f1 align=1 (i32.const 0) (local.get 0x2f1))
  1970    (i64.store offset=0x2f2 align=1 (i32.const 0) (local.get 0x2f2))
  1971    (i64.store offset=0x2f3 align=1 (i32.const 0) (local.get 0x2f3))
  1972    (i64.store offset=0x2f4 align=1 (i32.const 0) (local.get 0x2f4))
  1973    (i64.store offset=0x2f5 align=1 (i32.const 0) (local.get 0x2f5))
  1974    (i64.store offset=0x2f6 align=1 (i32.const 0) (local.get 0x2f6))
  1975    (i64.store offset=0x2f7 align=1 (i32.const 0) (local.get 0x2f7))
  1976    (i64.store offset=0x2f8 align=1 (i32.const 0) (local.get 0x2f8))
  1977    (i64.store offset=0x2f9 align=1 (i32.const 0) (local.get 0x2f9))
  1978    (i64.store offset=0x2fa align=1 (i32.const 0) (local.get 0x2fa))
  1979    (i64.store offset=0x2fb align=1 (i32.const 0) (local.get 0x2fb))
  1980    (i64.store offset=0x2fc align=1 (i32.const 0) (local.get 0x2fc))
  1981    (i64.store offset=0x2fd align=1 (i32.const 0) (local.get 0x2fd))
  1982    (i64.store offset=0x2fe align=1 (i32.const 0) (local.get 0x2fe))
  1983    (i64.store offset=0x2ff align=1 (i32.const 0) (local.get 0x2ff))
  1984    (i64.store offset=0x300 align=1 (i32.const 0) (local.get 0x300))
  1985    (i64.store offset=0x301 align=1 (i32.const 0) (local.get 0x301))
  1986    (i64.store offset=0x302 align=1 (i32.const 0) (local.get 0x302))
  1987    (i64.store offset=0x303 align=1 (i32.const 0) (local.get 0x303))
  1988    (i64.store offset=0x304 align=1 (i32.const 0) (local.get 0x304))
  1989    (i64.store offset=0x305 align=1 (i32.const 0) (local.get 0x305))
  1990    (i64.store offset=0x306 align=1 (i32.const 0) (local.get 0x306))
  1991    (i64.store offset=0x307 align=1 (i32.const 0) (local.get 0x307))
  1992    (i64.store offset=0x308 align=1 (i32.const 0) (local.get 0x308))
  1993    (i64.store offset=0x309 align=1 (i32.const 0) (local.get 0x309))
  1994    (i64.store offset=0x30a align=1 (i32.const 0) (local.get 0x30a))
  1995    (i64.store offset=0x30b align=1 (i32.const 0) (local.get 0x30b))
  1996    (i64.store offset=0x30c align=1 (i32.const 0) (local.get 0x30c))
  1997    (i64.store offset=0x30d align=1 (i32.const 0) (local.get 0x30d))
  1998    (i64.store offset=0x30e align=1 (i32.const 0) (local.get 0x30e))
  1999    (i64.store offset=0x30f align=1 (i32.const 0) (local.get 0x30f))
  2000    (i64.store offset=0x310 align=1 (i32.const 0) (local.get 0x310))
  2001    (i64.store offset=0x311 align=1 (i32.const 0) (local.get 0x311))
  2002    (i64.store offset=0x312 align=1 (i32.const 0) (local.get 0x312))
  2003    (i64.store offset=0x313 align=1 (i32.const 0) (local.get 0x313))
  2004    (i64.store offset=0x314 align=1 (i32.const 0) (local.get 0x314))
  2005    (i64.store offset=0x315 align=1 (i32.const 0) (local.get 0x315))
  2006    (i64.store offset=0x316 align=1 (i32.const 0) (local.get 0x316))
  2007    (i64.store offset=0x317 align=1 (i32.const 0) (local.get 0x317))
  2008    (i64.store offset=0x318 align=1 (i32.const 0) (local.get 0x318))
  2009    (i64.store offset=0x319 align=1 (i32.const 0) (local.get 0x319))
  2010    (i64.store offset=0x31a align=1 (i32.const 0) (local.get 0x31a))
  2011    (i64.store offset=0x31b align=1 (i32.const 0) (local.get 0x31b))
  2012    (i64.store offset=0x31c align=1 (i32.const 0) (local.get 0x31c))
  2013    (i64.store offset=0x31d align=1 (i32.const 0) (local.get 0x31d))
  2014    (i64.store offset=0x31e align=1 (i32.const 0) (local.get 0x31e))
  2015    (i64.store offset=0x31f align=1 (i32.const 0) (local.get 0x31f))
  2016    (i64.store offset=0x320 align=1 (i32.const 0) (local.get 0x320))
  2017    (i64.store offset=0x321 align=1 (i32.const 0) (local.get 0x321))
  2018    (i64.store offset=0x322 align=1 (i32.const 0) (local.get 0x322))
  2019    (i64.store offset=0x323 align=1 (i32.const 0) (local.get 0x323))
  2020    (i64.store offset=0x324 align=1 (i32.const 0) (local.get 0x324))
  2021    (i64.store offset=0x325 align=1 (i32.const 0) (local.get 0x325))
  2022    (i64.store offset=0x326 align=1 (i32.const 0) (local.get 0x326))
  2023    (i64.store offset=0x327 align=1 (i32.const 0) (local.get 0x327))
  2024    (i64.store offset=0x328 align=1 (i32.const 0) (local.get 0x328))
  2025    (i64.store offset=0x329 align=1 (i32.const 0) (local.get 0x329))
  2026    (i64.store offset=0x32a align=1 (i32.const 0) (local.get 0x32a))
  2027    (i64.store offset=0x32b align=1 (i32.const 0) (local.get 0x32b))
  2028    (i64.store offset=0x32c align=1 (i32.const 0) (local.get 0x32c))
  2029    (i64.store offset=0x32d align=1 (i32.const 0) (local.get 0x32d))
  2030    (i64.store offset=0x32e align=1 (i32.const 0) (local.get 0x32e))
  2031    (i64.store offset=0x32f align=1 (i32.const 0) (local.get 0x32f))
  2032    (i64.store offset=0x330 align=1 (i32.const 0) (local.get 0x330))
  2033    (i64.store offset=0x331 align=1 (i32.const 0) (local.get 0x331))
  2034    (i64.store offset=0x332 align=1 (i32.const 0) (local.get 0x332))
  2035    (i64.store offset=0x333 align=1 (i32.const 0) (local.get 0x333))
  2036    (i64.store offset=0x334 align=1 (i32.const 0) (local.get 0x334))
  2037    (i64.store offset=0x335 align=1 (i32.const 0) (local.get 0x335))
  2038    (i64.store offset=0x336 align=1 (i32.const 0) (local.get 0x336))
  2039    (i64.store offset=0x337 align=1 (i32.const 0) (local.get 0x337))
  2040    (i64.store offset=0x338 align=1 (i32.const 0) (local.get 0x338))
  2041    (i64.store offset=0x339 align=1 (i32.const 0) (local.get 0x339))
  2042    (i64.store offset=0x33a align=1 (i32.const 0) (local.get 0x33a))
  2043    (i64.store offset=0x33b align=1 (i32.const 0) (local.get 0x33b))
  2044    (i64.store offset=0x33c align=1 (i32.const 0) (local.get 0x33c))
  2045    (i64.store offset=0x33d align=1 (i32.const 0) (local.get 0x33d))
  2046    (i64.store offset=0x33e align=1 (i32.const 0) (local.get 0x33e))
  2047    (i64.store offset=0x33f align=1 (i32.const 0) (local.get 0x33f))
  2048    (i64.store offset=0x340 align=1 (i32.const 0) (local.get 0x340))
  2049    (i64.store offset=0x341 align=1 (i32.const 0) (local.get 0x341))
  2050    (i64.store offset=0x342 align=1 (i32.const 0) (local.get 0x342))
  2051    (i64.store offset=0x343 align=1 (i32.const 0) (local.get 0x343))
  2052    (i64.store offset=0x344 align=1 (i32.const 0) (local.get 0x344))
  2053    (i64.store offset=0x345 align=1 (i32.const 0) (local.get 0x345))
  2054    (i64.store offset=0x346 align=1 (i32.const 0) (local.get 0x346))
  2055    (i64.store offset=0x347 align=1 (i32.const 0) (local.get 0x347))
  2056    (i64.store offset=0x348 align=1 (i32.const 0) (local.get 0x348))
  2057    (i64.store offset=0x349 align=1 (i32.const 0) (local.get 0x349))
  2058    (i64.store offset=0x34a align=1 (i32.const 0) (local.get 0x34a))
  2059    (i64.store offset=0x34b align=1 (i32.const 0) (local.get 0x34b))
  2060    (i64.store offset=0x34c align=1 (i32.const 0) (local.get 0x34c))
  2061    (i64.store offset=0x34d align=1 (i32.const 0) (local.get 0x34d))
  2062    (i64.store offset=0x34e align=1 (i32.const 0) (local.get 0x34e))
  2063    (i64.store offset=0x34f align=1 (i32.const 0) (local.get 0x34f))
  2064    (i64.store offset=0x350 align=1 (i32.const 0) (local.get 0x350))
  2065    (i64.store offset=0x351 align=1 (i32.const 0) (local.get 0x351))
  2066    (i64.store offset=0x352 align=1 (i32.const 0) (local.get 0x352))
  2067    (i64.store offset=0x353 align=1 (i32.const 0) (local.get 0x353))
  2068    (i64.store offset=0x354 align=1 (i32.const 0) (local.get 0x354))
  2069    (i64.store offset=0x355 align=1 (i32.const 0) (local.get 0x355))
  2070    (i64.store offset=0x356 align=1 (i32.const 0) (local.get 0x356))
  2071    (i64.store offset=0x357 align=1 (i32.const 0) (local.get 0x357))
  2072    (i64.store offset=0x358 align=1 (i32.const 0) (local.get 0x358))
  2073    (i64.store offset=0x359 align=1 (i32.const 0) (local.get 0x359))
  2074    (i64.store offset=0x35a align=1 (i32.const 0) (local.get 0x35a))
  2075    (i64.store offset=0x35b align=1 (i32.const 0) (local.get 0x35b))
  2076    (i64.store offset=0x35c align=1 (i32.const 0) (local.get 0x35c))
  2077    (i64.store offset=0x35d align=1 (i32.const 0) (local.get 0x35d))
  2078    (i64.store offset=0x35e align=1 (i32.const 0) (local.get 0x35e))
  2079    (i64.store offset=0x35f align=1 (i32.const 0) (local.get 0x35f))
  2080    (i64.store offset=0x360 align=1 (i32.const 0) (local.get 0x360))
  2081    (i64.store offset=0x361 align=1 (i32.const 0) (local.get 0x361))
  2082    (i64.store offset=0x362 align=1 (i32.const 0) (local.get 0x362))
  2083    (i64.store offset=0x363 align=1 (i32.const 0) (local.get 0x363))
  2084    (i64.store offset=0x364 align=1 (i32.const 0) (local.get 0x364))
  2085    (i64.store offset=0x365 align=1 (i32.const 0) (local.get 0x365))
  2086    (i64.store offset=0x366 align=1 (i32.const 0) (local.get 0x366))
  2087    (i64.store offset=0x367 align=1 (i32.const 0) (local.get 0x367))
  2088    (i64.store offset=0x368 align=1 (i32.const 0) (local.get 0x368))
  2089    (i64.store offset=0x369 align=1 (i32.const 0) (local.get 0x369))
  2090    (i64.store offset=0x36a align=1 (i32.const 0) (local.get 0x36a))
  2091    (i64.store offset=0x36b align=1 (i32.const 0) (local.get 0x36b))
  2092    (i64.store offset=0x36c align=1 (i32.const 0) (local.get 0x36c))
  2093    (i64.store offset=0x36d align=1 (i32.const 0) (local.get 0x36d))
  2094    (i64.store offset=0x36e align=1 (i32.const 0) (local.get 0x36e))
  2095    (i64.store offset=0x36f align=1 (i32.const 0) (local.get 0x36f))
  2096    (i64.store offset=0x370 align=1 (i32.const 0) (local.get 0x370))
  2097    (i64.store offset=0x371 align=1 (i32.const 0) (local.get 0x371))
  2098    (i64.store offset=0x372 align=1 (i32.const 0) (local.get 0x372))
  2099    (i64.store offset=0x373 align=1 (i32.const 0) (local.get 0x373))
  2100    (i64.store offset=0x374 align=1 (i32.const 0) (local.get 0x374))
  2101    (i64.store offset=0x375 align=1 (i32.const 0) (local.get 0x375))
  2102    (i64.store offset=0x376 align=1 (i32.const 0) (local.get 0x376))
  2103    (i64.store offset=0x377 align=1 (i32.const 0) (local.get 0x377))
  2104    (i64.store offset=0x378 align=1 (i32.const 0) (local.get 0x378))
  2105    (i64.store offset=0x379 align=1 (i32.const 0) (local.get 0x379))
  2106    (i64.store offset=0x37a align=1 (i32.const 0) (local.get 0x37a))
  2107    (i64.store offset=0x37b align=1 (i32.const 0) (local.get 0x37b))
  2108    (i64.store offset=0x37c align=1 (i32.const 0) (local.get 0x37c))
  2109    (i64.store offset=0x37d align=1 (i32.const 0) (local.get 0x37d))
  2110    (i64.store offset=0x37e align=1 (i32.const 0) (local.get 0x37e))
  2111    (i64.store offset=0x37f align=1 (i32.const 0) (local.get 0x37f))
  2112    (i64.store offset=0x380 align=1 (i32.const 0) (local.get 0x380))
  2113    (i64.store offset=0x381 align=1 (i32.const 0) (local.get 0x381))
  2114    (i64.store offset=0x382 align=1 (i32.const 0) (local.get 0x382))
  2115    (i64.store offset=0x383 align=1 (i32.const 0) (local.get 0x383))
  2116    (i64.store offset=0x384 align=1 (i32.const 0) (local.get 0x384))
  2117    (i64.store offset=0x385 align=1 (i32.const 0) (local.get 0x385))
  2118    (i64.store offset=0x386 align=1 (i32.const 0) (local.get 0x386))
  2119    (i64.store offset=0x387 align=1 (i32.const 0) (local.get 0x387))
  2120    (i64.store offset=0x388 align=1 (i32.const 0) (local.get 0x388))
  2121    (i64.store offset=0x389 align=1 (i32.const 0) (local.get 0x389))
  2122    (i64.store offset=0x38a align=1 (i32.const 0) (local.get 0x38a))
  2123    (i64.store offset=0x38b align=1 (i32.const 0) (local.get 0x38b))
  2124    (i64.store offset=0x38c align=1 (i32.const 0) (local.get 0x38c))
  2125    (i64.store offset=0x38d align=1 (i32.const 0) (local.get 0x38d))
  2126    (i64.store offset=0x38e align=1 (i32.const 0) (local.get 0x38e))
  2127    (i64.store offset=0x38f align=1 (i32.const 0) (local.get 0x38f))
  2128    (i64.store offset=0x390 align=1 (i32.const 0) (local.get 0x390))
  2129    (i64.store offset=0x391 align=1 (i32.const 0) (local.get 0x391))
  2130    (i64.store offset=0x392 align=1 (i32.const 0) (local.get 0x392))
  2131    (i64.store offset=0x393 align=1 (i32.const 0) (local.get 0x393))
  2132    (i64.store offset=0x394 align=1 (i32.const 0) (local.get 0x394))
  2133    (i64.store offset=0x395 align=1 (i32.const 0) (local.get 0x395))
  2134    (i64.store offset=0x396 align=1 (i32.const 0) (local.get 0x396))
  2135    (i64.store offset=0x397 align=1 (i32.const 0) (local.get 0x397))
  2136    (i64.store offset=0x398 align=1 (i32.const 0) (local.get 0x398))
  2137    (i64.store offset=0x399 align=1 (i32.const 0) (local.get 0x399))
  2138    (i64.store offset=0x39a align=1 (i32.const 0) (local.get 0x39a))
  2139    (i64.store offset=0x39b align=1 (i32.const 0) (local.get 0x39b))
  2140    (i64.store offset=0x39c align=1 (i32.const 0) (local.get 0x39c))
  2141    (i64.store offset=0x39d align=1 (i32.const 0) (local.get 0x39d))
  2142    (i64.store offset=0x39e align=1 (i32.const 0) (local.get 0x39e))
  2143    (i64.store offset=0x39f align=1 (i32.const 0) (local.get 0x39f))
  2144    (i64.store offset=0x3a0 align=1 (i32.const 0) (local.get 0x3a0))
  2145    (i64.store offset=0x3a1 align=1 (i32.const 0) (local.get 0x3a1))
  2146    (i64.store offset=0x3a2 align=1 (i32.const 0) (local.get 0x3a2))
  2147    (i64.store offset=0x3a3 align=1 (i32.const 0) (local.get 0x3a3))
  2148    (i64.store offset=0x3a4 align=1 (i32.const 0) (local.get 0x3a4))
  2149    (i64.store offset=0x3a5 align=1 (i32.const 0) (local.get 0x3a5))
  2150    (i64.store offset=0x3a6 align=1 (i32.const 0) (local.get 0x3a6))
  2151    (i64.store offset=0x3a7 align=1 (i32.const 0) (local.get 0x3a7))
  2152    (i64.store offset=0x3a8 align=1 (i32.const 0) (local.get 0x3a8))
  2153    (i64.store offset=0x3a9 align=1 (i32.const 0) (local.get 0x3a9))
  2154    (i64.store offset=0x3aa align=1 (i32.const 0) (local.get 0x3aa))
  2155    (i64.store offset=0x3ab align=1 (i32.const 0) (local.get 0x3ab))
  2156    (i64.store offset=0x3ac align=1 (i32.const 0) (local.get 0x3ac))
  2157    (i64.store offset=0x3ad align=1 (i32.const 0) (local.get 0x3ad))
  2158    (i64.store offset=0x3ae align=1 (i32.const 0) (local.get 0x3ae))
  2159    (i64.store offset=0x3af align=1 (i32.const 0) (local.get 0x3af))
  2160    (i64.store offset=0x3b0 align=1 (i32.const 0) (local.get 0x3b0))
  2161    (i64.store offset=0x3b1 align=1 (i32.const 0) (local.get 0x3b1))
  2162    (i64.store offset=0x3b2 align=1 (i32.const 0) (local.get 0x3b2))
  2163    (i64.store offset=0x3b3 align=1 (i32.const 0) (local.get 0x3b3))
  2164    (i64.store offset=0x3b4 align=1 (i32.const 0) (local.get 0x3b4))
  2165    (i64.store offset=0x3b5 align=1 (i32.const 0) (local.get 0x3b5))
  2166    (i64.store offset=0x3b6 align=1 (i32.const 0) (local.get 0x3b6))
  2167    (i64.store offset=0x3b7 align=1 (i32.const 0) (local.get 0x3b7))
  2168    (i64.store offset=0x3b8 align=1 (i32.const 0) (local.get 0x3b8))
  2169    (i64.store offset=0x3b9 align=1 (i32.const 0) (local.get 0x3b9))
  2170    (i64.store offset=0x3ba align=1 (i32.const 0) (local.get 0x3ba))
  2171    (i64.store offset=0x3bb align=1 (i32.const 0) (local.get 0x3bb))
  2172    (i64.store offset=0x3bc align=1 (i32.const 0) (local.get 0x3bc))
  2173    (i64.store offset=0x3bd align=1 (i32.const 0) (local.get 0x3bd))
  2174    (i64.store offset=0x3be align=1 (i32.const 0) (local.get 0x3be))
  2175    (i64.store offset=0x3bf align=1 (i32.const 0) (local.get 0x3bf))
  2176    (i64.store offset=0x3c0 align=1 (i32.const 0) (local.get 0x3c0))
  2177    (i64.store offset=0x3c1 align=1 (i32.const 0) (local.get 0x3c1))
  2178    (i64.store offset=0x3c2 align=1 (i32.const 0) (local.get 0x3c2))
  2179    (i64.store offset=0x3c3 align=1 (i32.const 0) (local.get 0x3c3))
  2180    (i64.store offset=0x3c4 align=1 (i32.const 0) (local.get 0x3c4))
  2181    (i64.store offset=0x3c5 align=1 (i32.const 0) (local.get 0x3c5))
  2182    (i64.store offset=0x3c6 align=1 (i32.const 0) (local.get 0x3c6))
  2183    (i64.store offset=0x3c7 align=1 (i32.const 0) (local.get 0x3c7))
  2184    (i64.store offset=0x3c8 align=1 (i32.const 0) (local.get 0x3c8))
  2185    (i64.store offset=0x3c9 align=1 (i32.const 0) (local.get 0x3c9))
  2186    (i64.store offset=0x3ca align=1 (i32.const 0) (local.get 0x3ca))
  2187    (i64.store offset=0x3cb align=1 (i32.const 0) (local.get 0x3cb))
  2188    (i64.store offset=0x3cc align=1 (i32.const 0) (local.get 0x3cc))
  2189    (i64.store offset=0x3cd align=1 (i32.const 0) (local.get 0x3cd))
  2190    (i64.store offset=0x3ce align=1 (i32.const 0) (local.get 0x3ce))
  2191    (i64.store offset=0x3cf align=1 (i32.const 0) (local.get 0x3cf))
  2192    (i64.store offset=0x3d0 align=1 (i32.const 0) (local.get 0x3d0))
  2193    (i64.store offset=0x3d1 align=1 (i32.const 0) (local.get 0x3d1))
  2194    (i64.store offset=0x3d2 align=1 (i32.const 0) (local.get 0x3d2))
  2195    (i64.store offset=0x3d3 align=1 (i32.const 0) (local.get 0x3d3))
  2196    (i64.store offset=0x3d4 align=1 (i32.const 0) (local.get 0x3d4))
  2197    (i64.store offset=0x3d5 align=1 (i32.const 0) (local.get 0x3d5))
  2198    (i64.store offset=0x3d6 align=1 (i32.const 0) (local.get 0x3d6))
  2199    (i64.store offset=0x3d7 align=1 (i32.const 0) (local.get 0x3d7))
  2200    (i64.store offset=0x3d8 align=1 (i32.const 0) (local.get 0x3d8))
  2201    (i64.store offset=0x3d9 align=1 (i32.const 0) (local.get 0x3d9))
  2202    (i64.store offset=0x3da align=1 (i32.const 0) (local.get 0x3da))
  2203    (i64.store offset=0x3db align=1 (i32.const 0) (local.get 0x3db))
  2204    (i64.store offset=0x3dc align=1 (i32.const 0) (local.get 0x3dc))
  2205    (i64.store offset=0x3dd align=1 (i32.const 0) (local.get 0x3dd))
  2206    (i64.store offset=0x3de align=1 (i32.const 0) (local.get 0x3de))
  2207    (i64.store offset=0x3df align=1 (i32.const 0) (local.get 0x3df))
  2208    (i64.store offset=0x3e0 align=1 (i32.const 0) (local.get 0x3e0))
  2209    (i64.store offset=0x3e1 align=1 (i32.const 0) (local.get 0x3e1))
  2210    (i64.store offset=0x3e2 align=1 (i32.const 0) (local.get 0x3e2))
  2211    (i64.store offset=0x3e3 align=1 (i32.const 0) (local.get 0x3e3))
  2212    (i64.store offset=0x3e4 align=1 (i32.const 0) (local.get 0x3e4))
  2213    (i64.store offset=0x3e5 align=1 (i32.const 0) (local.get 0x3e5))
  2214    (i64.store offset=0x3e6 align=1 (i32.const 0) (local.get 0x3e6))
  2215    (i64.store offset=0x3e7 align=1 (i32.const 0) (local.get 0x3e7))
  2216    (i64.store offset=0x3e8 align=1 (i32.const 0) (local.get 0x3e8))
  2217    (i64.store offset=0x3e9 align=1 (i32.const 0) (local.get 0x3e9))
  2218    (i64.store offset=0x3ea align=1 (i32.const 0) (local.get 0x3ea))
  2219    (i64.store offset=0x3eb align=1 (i32.const 0) (local.get 0x3eb))
  2220    (i64.store offset=0x3ec align=1 (i32.const 0) (local.get 0x3ec))
  2221    (i64.store offset=0x3ed align=1 (i32.const 0) (local.get 0x3ed))
  2222    (i64.store offset=0x3ee align=1 (i32.const 0) (local.get 0x3ee))
  2223    (i64.store offset=0x3ef align=1 (i32.const 0) (local.get 0x3ef))
  2224    (i64.store offset=0x3f0 align=1 (i32.const 0) (local.get 0x3f0))
  2225    (i64.store offset=0x3f1 align=1 (i32.const 0) (local.get 0x3f1))
  2226    (i64.store offset=0x3f2 align=1 (i32.const 0) (local.get 0x3f2))
  2227    (i64.store offset=0x3f3 align=1 (i32.const 0) (local.get 0x3f3))
  2228    (i64.store offset=0x3f4 align=1 (i32.const 0) (local.get 0x3f4))
  2229    (i64.store offset=0x3f5 align=1 (i32.const 0) (local.get 0x3f5))
  2230    (i64.store offset=0x3f6 align=1 (i32.const 0) (local.get 0x3f6))
  2231    (i64.store offset=0x3f7 align=1 (i32.const 0) (local.get 0x3f7))
  2232    (i64.store offset=0x3f8 align=1 (i32.const 0) (local.get 0x3f8))
  2233    (i64.store offset=0x3f9 align=1 (i32.const 0) (local.get 0x3f9))
  2234    (i64.store offset=0x3fa align=1 (i32.const 0) (local.get 0x3fa))
  2235    (i64.store offset=0x3fb align=1 (i32.const 0) (local.get 0x3fb))
  2236    (i64.store offset=0x3fc align=1 (i32.const 0) (local.get 0x3fc))
  2237    (i64.store offset=0x3fd align=1 (i32.const 0) (local.get 0x3fd))
  2238    (i64.store offset=0x3fe align=1 (i32.const 0) (local.get 0x3fe))
  2239    (i64.store offset=0x3ff align=1 (i32.const 0) (local.get 0x3ff))
  2240    (i64.store offset=0x400 align=1 (i32.const 0) (local.get 0x400))
  2241    (i64.store offset=0x401 align=1 (i32.const 0) (local.get 0x401))
  2242    (i64.store offset=0x402 align=1 (i32.const 0) (local.get 0x402))
  2243    (i64.store offset=0x403 align=1 (i32.const 0) (local.get 0x403))
  2244    (i64.store offset=0x404 align=1 (i32.const 0) (local.get 0x404))
  2245    (i64.store offset=0x405 align=1 (i32.const 0) (local.get 0x405))
  2246    (i64.store offset=0x406 align=1 (i32.const 0) (local.get 0x406))
  2247    (i64.store offset=0x407 align=1 (i32.const 0) (local.get 0x407))
  2248    (i64.store offset=0x408 align=1 (i32.const 0) (local.get 0x408))
  2249    (i64.store offset=0x409 align=1 (i32.const 0) (local.get 0x409))
  2250    (i64.store offset=0x40a align=1 (i32.const 0) (local.get 0x40a))
  2251    (i64.store offset=0x40b align=1 (i32.const 0) (local.get 0x40b))
  2252    (i64.store offset=0x40c align=1 (i32.const 0) (local.get 0x40c))
  2253    (i64.store offset=0x40d align=1 (i32.const 0) (local.get 0x40d))
  2254    (i64.store offset=0x40e align=1 (i32.const 0) (local.get 0x40e))
  2255    (i64.store offset=0x40f align=1 (i32.const 0) (local.get 0x40f))
  2256    (i64.store offset=0x410 align=1 (i32.const 0) (local.get 0x410))
  2257    (i64.store offset=0x411 align=1 (i32.const 0) (local.get 0x411))
  2258    (i64.store offset=0x412 align=1 (i32.const 0) (local.get 0x412))
  2259    (i64.store offset=0x413 align=1 (i32.const 0) (local.get 0x413))
  2260    (i64.store offset=0x414 align=1 (i32.const 0) (local.get 0x414))
  2261    (i64.store offset=0x415 align=1 (i32.const 0) (local.get 0x415))
  2262    (i64.store offset=0x416 align=1 (i32.const 0) (local.get 0x416))
  2263    (i64.store offset=0x417 align=1 (i32.const 0) (local.get 0x417))
  2264    (i64.store offset=0x418 align=1 (i32.const 0) (local.get 0x418))
  2265    (i64.store offset=0x419 align=1 (i32.const 0) (local.get 0x419))
  2266    (i64.store offset=0x41a align=1 (i32.const 0) (local.get 0x41a))
  2267    (i64.store offset=0x41b align=1 (i32.const 0) (local.get 0x41b))
  2268    (i64.store offset=0x41c align=1 (i32.const 0) (local.get 0x41c))
  2269    (i64.store offset=0x41d align=1 (i32.const 0) (local.get 0x41d))
  2270    (i64.store offset=0x41e align=1 (i32.const 0) (local.get 0x41e))
  2271    (i64.store offset=0x41f align=1 (i32.const 0) (local.get 0x41f))
  2272  )
  2273)
  2274
  2275(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 0)) "call stack exhausted")
  2276(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 100)) "call stack exhausted")
  2277(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 200)) "call stack exhausted")
  2278(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 300)) "call stack exhausted")
  2279(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 400)) "call stack exhausted")
  2280(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 500)) "call stack exhausted")
  2281(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 600)) "call stack exhausted")
  2282(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 700)) "call stack exhausted")
  2283(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 800)) "call stack exhausted")
  2284(assert_exhaustion (invoke "test-guard-page-skip" (i32.const 900)) "call stack exhausted")

View as plain text