wa-lang.org/wazero@v1.0.2/internal/integration_test/spectest/v2/testdata/memory_init.json (about)

     1  {"source_filename": "./memory_init.wast",
     2   "commands": [
     3    {"type": "module", "line": 6, "filename": "memory_init.0.wasm"}, 
     4    {"type": "action", "line": 17, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
     5    {"type": "assert_return", "line": 19, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
     6    {"type": "assert_return", "line": 20, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
     7    {"type": "assert_return", "line": 21, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
     8    {"type": "assert_return", "line": 22, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
     9    {"type": "assert_return", "line": 23, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]}, 
    10    {"type": "assert_return", "line": 24, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    11    {"type": "assert_return", "line": 25, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    12    {"type": "assert_return", "line": 26, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    13    {"type": "assert_return", "line": 27, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    14    {"type": "assert_return", "line": 28, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    15    {"type": "assert_return", "line": 29, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    16    {"type": "assert_return", "line": 30, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    17    {"type": "assert_return", "line": 31, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
    18    {"type": "assert_return", "line": 32, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "5"}]}, 
    19    {"type": "assert_return", "line": 33, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
    20    {"type": "assert_return", "line": 34, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
    21    {"type": "assert_return", "line": 35, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "6"}]}, 
    22    {"type": "assert_return", "line": 36, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "17"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    23    {"type": "assert_return", "line": 37, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "18"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    24    {"type": "assert_return", "line": 38, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "19"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    25    {"type": "assert_return", "line": 39, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "20"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    26    {"type": "assert_return", "line": 40, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "21"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    27    {"type": "assert_return", "line": 41, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "22"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    28    {"type": "assert_return", "line": 42, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "23"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    29    {"type": "assert_return", "line": 43, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    30    {"type": "assert_return", "line": 44, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "25"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    31    {"type": "assert_return", "line": 45, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "26"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    32    {"type": "assert_return", "line": 46, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "27"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    33    {"type": "assert_return", "line": 47, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "28"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    34    {"type": "assert_return", "line": 48, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "29"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    35    {"type": "module", "line": 50, "filename": "memory_init.1.wasm"}, 
    36    {"type": "action", "line": 61, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
    37    {"type": "assert_return", "line": 63, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    38    {"type": "assert_return", "line": 64, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    39    {"type": "assert_return", "line": 65, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
    40    {"type": "assert_return", "line": 66, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    41    {"type": "assert_return", "line": 67, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]}, 
    42    {"type": "assert_return", "line": 68, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    43    {"type": "assert_return", "line": 69, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    44    {"type": "assert_return", "line": 70, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
    45    {"type": "assert_return", "line": 71, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
    46    {"type": "assert_return", "line": 72, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    47    {"type": "assert_return", "line": 73, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
    48    {"type": "assert_return", "line": 74, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    49    {"type": "assert_return", "line": 75, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
    50    {"type": "assert_return", "line": 76, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "5"}]}, 
    51    {"type": "assert_return", "line": 77, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
    52    {"type": "assert_return", "line": 78, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
    53    {"type": "assert_return", "line": 79, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "6"}]}, 
    54    {"type": "assert_return", "line": 80, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "17"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    55    {"type": "assert_return", "line": 81, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "18"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    56    {"type": "assert_return", "line": 82, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "19"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    57    {"type": "assert_return", "line": 83, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "20"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    58    {"type": "assert_return", "line": 84, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "21"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    59    {"type": "assert_return", "line": 85, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "22"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    60    {"type": "assert_return", "line": 86, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "23"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    61    {"type": "assert_return", "line": 87, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    62    {"type": "assert_return", "line": 88, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "25"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    63    {"type": "assert_return", "line": 89, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "26"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    64    {"type": "assert_return", "line": 90, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "27"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    65    {"type": "assert_return", "line": 91, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "28"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    66    {"type": "assert_return", "line": 92, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "29"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    67    {"type": "module", "line": 94, "filename": "memory_init.2.wasm"}, 
    68    {"type": "action", "line": 105, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
    69    {"type": "assert_return", "line": 107, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    70    {"type": "assert_return", "line": 108, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    71    {"type": "assert_return", "line": 109, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
    72    {"type": "assert_return", "line": 110, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    73    {"type": "assert_return", "line": 111, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]}, 
    74    {"type": "assert_return", "line": 112, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
    75    {"type": "assert_return", "line": 113, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    76    {"type": "assert_return", "line": 114, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    77    {"type": "assert_return", "line": 115, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    78    {"type": "assert_return", "line": 116, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    79    {"type": "assert_return", "line": 117, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    80    {"type": "assert_return", "line": 118, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    81    {"type": "assert_return", "line": 119, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
    82    {"type": "assert_return", "line": 120, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "5"}]}, 
    83    {"type": "assert_return", "line": 121, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
    84    {"type": "assert_return", "line": 122, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
    85    {"type": "assert_return", "line": 123, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
    86    {"type": "assert_return", "line": 124, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "17"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
    87    {"type": "assert_return", "line": 125, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "18"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    88    {"type": "assert_return", "line": 126, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "19"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    89    {"type": "assert_return", "line": 127, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "20"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    90    {"type": "assert_return", "line": 128, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "21"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    91    {"type": "assert_return", "line": 129, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "22"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    92    {"type": "assert_return", "line": 130, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "23"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    93    {"type": "assert_return", "line": 131, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    94    {"type": "assert_return", "line": 132, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "25"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    95    {"type": "assert_return", "line": 133, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "26"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    96    {"type": "assert_return", "line": 134, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "27"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    97    {"type": "assert_return", "line": 135, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "28"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    98    {"type": "assert_return", "line": 136, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "29"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
    99    {"type": "module", "line": 138, "filename": "memory_init.3.wasm"}, 
   100    {"type": "action", "line": 157, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
   101    {"type": "assert_return", "line": 159, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   102    {"type": "assert_return", "line": 160, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "1"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   103    {"type": "assert_return", "line": 161, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "2"}]}, "expected": [{"type": "i32", "value": "3"}]}, 
   104    {"type": "assert_return", "line": 162, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "3"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   105    {"type": "assert_return", "line": 163, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "4"}]}, "expected": [{"type": "i32", "value": "4"}]}, 
   106    {"type": "assert_return", "line": 164, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "5"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   107    {"type": "assert_return", "line": 165, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "6"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   108    {"type": "assert_return", "line": 166, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "7"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   109    {"type": "assert_return", "line": 167, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "8"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
   110    {"type": "assert_return", "line": 168, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "9"}]}, "expected": [{"type": "i32", "value": "1"}]}, 
   111    {"type": "assert_return", "line": 169, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "10"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   112    {"type": "assert_return", "line": 170, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "11"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   113    {"type": "assert_return", "line": 171, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "12"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
   114    {"type": "assert_return", "line": 172, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "13"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   115    {"type": "assert_return", "line": 173, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "14"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
   116    {"type": "assert_return", "line": 174, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "15"}]}, "expected": [{"type": "i32", "value": "5"}]}, 
   117    {"type": "assert_return", "line": 175, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "16"}]}, "expected": [{"type": "i32", "value": "2"}]}, 
   118    {"type": "assert_return", "line": 176, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "17"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
   119    {"type": "assert_return", "line": 177, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "18"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   120    {"type": "assert_return", "line": 178, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "19"}]}, "expected": [{"type": "i32", "value": "9"}]}, 
   121    {"type": "assert_return", "line": 179, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "20"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   122    {"type": "assert_return", "line": 180, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "21"}]}, "expected": [{"type": "i32", "value": "7"}]}, 
   123    {"type": "assert_return", "line": 181, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "22"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   124    {"type": "assert_return", "line": 182, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "23"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   125    {"type": "assert_return", "line": 183, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "24"}]}, "expected": [{"type": "i32", "value": "8"}]}, 
   126    {"type": "assert_return", "line": 184, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "25"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   127    {"type": "assert_return", "line": 185, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "26"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   128    {"type": "assert_return", "line": 186, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "27"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   129    {"type": "assert_return", "line": 187, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "28"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   130    {"type": "assert_return", "line": 188, "action": {"type": "invoke", "field": "load8_u", "args": [{"type": "i32", "value": "29"}]}, "expected": [{"type": "i32", "value": "0"}]}, 
   131    {"type": "assert_invalid", "line": 190, "filename": "memory_init.4.wasm", "text": "unknown data segment", "module_type": "binary"}, 
   132    {"type": "assert_invalid", "line": 196, "filename": "memory_init.5.wasm", "text": "unknown data segment", "module_type": "binary"}, 
   133    {"type": "module", "line": 203, "filename": "memory_init.6.wasm"}, 
   134    {"type": "action", "line": 209, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
   135    {"type": "module", "line": 211, "filename": "memory_init.7.wasm"}, 
   136    {"type": "assert_trap", "line": 217, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   137    {"type": "module", "line": 219, "filename": "memory_init.8.wasm"}, 
   138    {"type": "assert_trap", "line": 224, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   139    {"type": "assert_invalid", "line": 227, "filename": "memory_init.9.wasm", "text": "unknown memory 0", "module_type": "binary"}, 
   140    {"type": "assert_invalid", "line": 233, "filename": "memory_init.10.wasm", "text": "unknown data segment 1", "module_type": "binary"}, 
   141    {"type": "module", "line": 240, "filename": "memory_init.11.wasm"}, 
   142    {"type": "action", "line": 246, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
   143    {"type": "module", "line": 248, "filename": "memory_init.12.wasm"}, 
   144    {"type": "assert_trap", "line": 253, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   145    {"type": "module", "line": 255, "filename": "memory_init.13.wasm"}, 
   146    {"type": "assert_trap", "line": 260, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   147    {"type": "module", "line": 262, "filename": "memory_init.14.wasm"}, 
   148    {"type": "assert_trap", "line": 267, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   149    {"type": "module", "line": 269, "filename": "memory_init.15.wasm"}, 
   150    {"type": "assert_trap", "line": 274, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   151    {"type": "module", "line": 276, "filename": "memory_init.16.wasm"}, 
   152    {"type": "action", "line": 281, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
   153    {"type": "module", "line": 283, "filename": "memory_init.17.wasm"}, 
   154    {"type": "assert_trap", "line": 288, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   155    {"type": "module", "line": 290, "filename": "memory_init.18.wasm"}, 
   156    {"type": "action", "line": 295, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
   157    {"type": "module", "line": 297, "filename": "memory_init.19.wasm"}, 
   158    {"type": "action", "line": 302, "action": {"type": "invoke", "field": "test", "args": []}, "expected": []}, 
   159    {"type": "module", "line": 304, "filename": "memory_init.20.wasm"}, 
   160    {"type": "assert_trap", "line": 309, "action": {"type": "invoke", "field": "test", "args": []}, "text": "out of bounds memory access", "expected": []}, 
   161    {"type": "assert_invalid", "line": 312, "filename": "memory_init.21.wasm", "text": "type mismatch", "module_type": "binary"}, 
   162    {"type": "assert_invalid", "line": 320, "filename": "memory_init.22.wasm", "text": "type mismatch", "module_type": "binary"}, 
   163    {"type": "assert_invalid", "line": 328, "filename": "memory_init.23.wasm", "text": "type mismatch", "module_type": "binary"}, 
   164    {"type": "assert_invalid", "line": 336, "filename": "memory_init.24.wasm", "text": "type mismatch", "module_type": "binary"}, 
   165    {"type": "assert_invalid", "line": 344, "filename": "memory_init.25.wasm", "text": "type mismatch", "module_type": "binary"}, 
   166    {"type": "assert_invalid", "line": 352, "filename": "memory_init.26.wasm", "text": "type mismatch", "module_type": "binary"}, 
   167    {"type": "assert_invalid", "line": 360, "filename": "memory_init.27.wasm", "text": "type mismatch", "module_type": "binary"}, 
   168    {"type": "assert_invalid", "line": 368, "filename": "memory_init.28.wasm", "text": "type mismatch", "module_type": "binary"}, 
   169    {"type": "assert_invalid", "line": 376, "filename": "memory_init.29.wasm", "text": "type mismatch", "module_type": "binary"}, 
   170    {"type": "assert_invalid", "line": 384, "filename": "memory_init.30.wasm", "text": "type mismatch", "module_type": "binary"}, 
   171    {"type": "assert_invalid", "line": 392, "filename": "memory_init.31.wasm", "text": "type mismatch", "module_type": "binary"}, 
   172    {"type": "assert_invalid", "line": 400, "filename": "memory_init.32.wasm", "text": "type mismatch", "module_type": "binary"}, 
   173    {"type": "assert_invalid", "line": 408, "filename": "memory_init.33.wasm", "text": "type mismatch", "module_type": "binary"}, 
   174    {"type": "assert_invalid", "line": 416, "filename": "memory_init.34.wasm", "text": "type mismatch", "module_type": "binary"}, 
   175    {"type": "assert_invalid", "line": 424, "filename": "memory_init.35.wasm", "text": "type mismatch", "module_type": "binary"}, 
   176    {"type": "assert_invalid", "line": 432, "filename": "memory_init.36.wasm", "text": "type mismatch", "module_type": "binary"}, 
   177    {"type": "assert_invalid", "line": 440, "filename": "memory_init.37.wasm", "text": "type mismatch", "module_type": "binary"}, 
   178    {"type": "assert_invalid", "line": 448, "filename": "memory_init.38.wasm", "text": "type mismatch", "module_type": "binary"}, 
   179    {"type": "assert_invalid", "line": 456, "filename": "memory_init.39.wasm", "text": "type mismatch", "module_type": "binary"}, 
   180    {"type": "assert_invalid", "line": 464, "filename": "memory_init.40.wasm", "text": "type mismatch", "module_type": "binary"}, 
   181    {"type": "assert_invalid", "line": 472, "filename": "memory_init.41.wasm", "text": "type mismatch", "module_type": "binary"}, 
   182    {"type": "assert_invalid", "line": 480, "filename": "memory_init.42.wasm", "text": "type mismatch", "module_type": "binary"}, 
   183    {"type": "assert_invalid", "line": 488, "filename": "memory_init.43.wasm", "text": "type mismatch", "module_type": "binary"}, 
   184    {"type": "assert_invalid", "line": 496, "filename": "memory_init.44.wasm", "text": "type mismatch", "module_type": "binary"}, 
   185    {"type": "assert_invalid", "line": 504, "filename": "memory_init.45.wasm", "text": "type mismatch", "module_type": "binary"}, 
   186    {"type": "assert_invalid", "line": 512, "filename": "memory_init.46.wasm", "text": "type mismatch", "module_type": "binary"}, 
   187    {"type": "assert_invalid", "line": 520, "filename": "memory_init.47.wasm", "text": "type mismatch", "module_type": "binary"}, 
   188    {"type": "assert_invalid", "line": 528, "filename": "memory_init.48.wasm", "text": "type mismatch", "module_type": "binary"}, 
   189    {"type": "assert_invalid", "line": 536, "filename": "memory_init.49.wasm", "text": "type mismatch", "module_type": "binary"}, 
   190    {"type": "assert_invalid", "line": 544, "filename": "memory_init.50.wasm", "text": "type mismatch", "module_type": "binary"}, 
   191    {"type": "assert_invalid", "line": 552, "filename": "memory_init.51.wasm", "text": "type mismatch", "module_type": "binary"}, 
   192    {"type": "assert_invalid", "line": 560, "filename": "memory_init.52.wasm", "text": "type mismatch", "module_type": "binary"}, 
   193    {"type": "assert_invalid", "line": 568, "filename": "memory_init.53.wasm", "text": "type mismatch", "module_type": "binary"}, 
   194    {"type": "assert_invalid", "line": 576, "filename": "memory_init.54.wasm", "text": "type mismatch", "module_type": "binary"}, 
   195    {"type": "assert_invalid", "line": 584, "filename": "memory_init.55.wasm", "text": "type mismatch", "module_type": "binary"}, 
   196    {"type": "assert_invalid", "line": 592, "filename": "memory_init.56.wasm", "text": "type mismatch", "module_type": "binary"}, 
   197    {"type": "assert_invalid", "line": 600, "filename": "memory_init.57.wasm", "text": "type mismatch", "module_type": "binary"}, 
   198    {"type": "assert_invalid", "line": 608, "filename": "memory_init.58.wasm", "text": "type mismatch", "module_type": "binary"}, 
   199    {"type": "assert_invalid", "line": 616, "filename": "memory_init.59.wasm", "text": "type mismatch", "module_type": "binary"}, 
   200    {"type": "assert_invalid", "line": 624, "filename": "memory_init.60.wasm", "text": "type mismatch", "module_type": "binary"}, 
   201    {"type": "assert_invalid", "line": 632, "filename": "memory_init.61.wasm", "text": "type mismatch", "module_type": "binary"}, 
   202    {"type": "assert_invalid", "line": 640, "filename": "memory_init.62.wasm", "text": "type mismatch", "module_type": "binary"}, 
   203    {"type": "assert_invalid", "line": 648, "filename": "memory_init.63.wasm", "text": "type mismatch", "module_type": "binary"}, 
   204    {"type": "assert_invalid", "line": 656, "filename": "memory_init.64.wasm", "text": "type mismatch", "module_type": "binary"}, 
   205    {"type": "assert_invalid", "line": 664, "filename": "memory_init.65.wasm", "text": "type mismatch", "module_type": "binary"}, 
   206    {"type": "assert_invalid", "line": 672, "filename": "memory_init.66.wasm", "text": "type mismatch", "module_type": "binary"}, 
   207    {"type": "assert_invalid", "line": 680, "filename": "memory_init.67.wasm", "text": "type mismatch", "module_type": "binary"}, 
   208    {"type": "assert_invalid", "line": 688, "filename": "memory_init.68.wasm", "text": "type mismatch", "module_type": "binary"}, 
   209    {"type": "assert_invalid", "line": 696, "filename": "memory_init.69.wasm", "text": "type mismatch", "module_type": "binary"}, 
   210    {"type": "assert_invalid", "line": 704, "filename": "memory_init.70.wasm", "text": "type mismatch", "module_type": "binary"}, 
   211    {"type": "assert_invalid", "line": 712, "filename": "memory_init.71.wasm", "text": "type mismatch", "module_type": "binary"}, 
   212    {"type": "assert_invalid", "line": 720, "filename": "memory_init.72.wasm", "text": "type mismatch", "module_type": "binary"}, 
   213    {"type": "assert_invalid", "line": 728, "filename": "memory_init.73.wasm", "text": "type mismatch", "module_type": "binary"}, 
   214    {"type": "assert_invalid", "line": 736, "filename": "memory_init.74.wasm", "text": "type mismatch", "module_type": "binary"}, 
   215    {"type": "assert_invalid", "line": 744, "filename": "memory_init.75.wasm", "text": "type mismatch", "module_type": "binary"}, 
   216    {"type": "assert_invalid", "line": 752, "filename": "memory_init.76.wasm", "text": "type mismatch", "module_type": "binary"}, 
   217    {"type": "assert_invalid", "line": 760, "filename": "memory_init.77.wasm", "text": "type mismatch", "module_type": "binary"}, 
   218    {"type": "assert_invalid", "line": 768, "filename": "memory_init.78.wasm", "text": "type mismatch", "module_type": "binary"}, 
   219    {"type": "assert_invalid", "line": 776, "filename": "memory_init.79.wasm", "text": "type mismatch", "module_type": "binary"}, 
   220    {"type": "assert_invalid", "line": 784, "filename": "memory_init.80.wasm", "text": "type mismatch", "module_type": "binary"}, 
   221    {"type": "assert_invalid", "line": 792, "filename": "memory_init.81.wasm", "text": "type mismatch", "module_type": "binary"}, 
   222    {"type": "assert_invalid", "line": 800, "filename": "memory_init.82.wasm", "text": "type mismatch", "module_type": "binary"}, 
   223    {"type": "assert_invalid", "line": 808, "filename": "memory_init.83.wasm", "text": "type mismatch", "module_type": "binary"}, 
   224    {"type": "module", "line": 815, "filename": "memory_init.84.wasm"}, 
   225    {"type": "assert_trap", "line": 833, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65528"}, {"type": "i32", "value": "16"}]}, "text": "out of bounds memory access", "expected": []}, 
   226    {"type": "assert_return", "line": 836, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   227    {"type": "module", "line": 838, "filename": "memory_init.85.wasm"}, 
   228    {"type": "assert_trap", "line": 856, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65527"}, {"type": "i32", "value": "16"}]}, "text": "out of bounds memory access", "expected": []}, 
   229    {"type": "assert_return", "line": 859, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   230    {"type": "module", "line": 861, "filename": "memory_init.86.wasm"}, 
   231    {"type": "assert_trap", "line": 879, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65472"}, {"type": "i32", "value": "30"}]}, "text": "out of bounds memory access", "expected": []}, 
   232    {"type": "assert_return", "line": 882, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   233    {"type": "module", "line": 884, "filename": "memory_init.87.wasm"}, 
   234    {"type": "assert_trap", "line": 902, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65473"}, {"type": "i32", "value": "31"}]}, "text": "out of bounds memory access", "expected": []}, 
   235    {"type": "assert_return", "line": 905, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   236    {"type": "module", "line": 907, "filename": "memory_init.88.wasm"}, 
   237    {"type": "assert_trap", "line": 925, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "65528"}, {"type": "i32", "value": "4294967040"}]}, "text": "out of bounds memory access", "expected": []}, 
   238    {"type": "assert_return", "line": 928, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   239    {"type": "module", "line": 930, "filename": "memory_init.89.wasm"}, 
   240    {"type": "assert_trap", "line": 948, "action": {"type": "invoke", "field": "run", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "4294967292"}]}, "text": "out of bounds memory access", "expected": []}, 
   241    {"type": "assert_return", "line": 951, "action": {"type": "invoke", "field": "checkRange", "args": [{"type": "i32", "value": "0"}, {"type": "i32", "value": "1"}, {"type": "i32", "value": "0"}]}, "expected": [{"type": "i32", "value": "4294967295"}]}, 
   242    {"type": "module", "line": 954, "filename": "memory_init.90.wasm"}]}