From 4f6dd5067c9d3a0389d4b0a56df1308919ea80a1 Mon Sep 17 00:00:00 2001 From: Daniel McGregor Date: Fri, 17 Jan 2025 16:29:35 +0800 Subject: [PATCH] chore: update _puya_lib.awst.json --- src/puya/ir/_puya_lib.awst.json | 619 ++++++++++++++++++++++++++++++-- 1 file changed, 583 insertions(+), 36 deletions(-) diff --git a/src/puya/ir/_puya_lib.awst.json b/src/puya/ir/_puya_lib.awst.json index 335c7df4e..8c7362ce3 100644 --- a/src/puya/ir/_puya_lib.awst.json +++ b/src/puya/ir/_puya_lib.awst.json @@ -16,6 +16,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -34,6 +35,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -51,6 +53,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -86,6 +89,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "required_budget_with_buffer", @@ -114,6 +118,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "required_budget", @@ -134,6 +139,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 10, @@ -176,6 +182,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "required_budget_with_buffer", @@ -196,6 +203,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "global", @@ -232,6 +240,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_begin", @@ -256,6 +265,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_field", @@ -277,6 +287,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 6, @@ -303,6 +314,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_field", @@ -324,6 +336,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 5, @@ -350,6 +363,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_field", @@ -371,6 +385,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": "27v(", @@ -397,6 +412,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_field", @@ -418,6 +434,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": "27v(", @@ -452,6 +469,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "fee_source", @@ -473,6 +491,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -504,6 +523,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_field", @@ -525,6 +545,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -557,6 +578,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -588,6 +610,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_field", @@ -609,6 +632,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "global", @@ -648,6 +672,7 @@ "scalar_type": null, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itxn_submit", @@ -696,6 +721,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -714,6 +740,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -731,6 +758,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -766,6 +794,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start", @@ -785,6 +814,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -834,6 +864,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start", @@ -854,6 +885,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -873,6 +905,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item", @@ -898,6 +931,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -917,6 +951,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "sequence", @@ -969,6 +1004,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item", @@ -989,6 +1025,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -1008,6 +1045,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "sequence", @@ -1027,6 +1065,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start", @@ -1055,6 +1094,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start", @@ -1075,6 +1115,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -1094,6 +1135,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item", @@ -1143,6 +1185,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "_type": "BoolConstant" @@ -1180,6 +1223,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start", @@ -1200,6 +1244,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -1239,6 +1284,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "_type": "BoolConstant" @@ -1277,6 +1323,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -1291,12 +1338,14 @@ ], "return_type": { "ephemeral": false, + "source_location": null, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -1304,10 +1353,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": null, "name": "tuple", "names": null, "desc": null, @@ -1346,6 +1395,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -1365,6 +1415,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -1384,6 +1435,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -1403,6 +1455,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -1437,6 +1490,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -1465,6 +1519,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -1485,6 +1540,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -1518,6 +1574,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -1537,6 +1594,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "replace2", @@ -1558,6 +1616,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -1577,6 +1636,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -1599,6 +1659,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -1618,6 +1679,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -1657,6 +1719,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_location", @@ -1685,6 +1748,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -1705,6 +1769,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 16, @@ -1738,6 +1803,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -1757,6 +1823,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "setbit", @@ -1776,6 +1843,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": "00", @@ -1796,6 +1864,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -1816,6 +1885,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "getbit", @@ -1835,6 +1905,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -1854,6 +1925,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_location", @@ -1890,6 +1962,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -1909,6 +1982,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "setbit", @@ -1928,6 +2002,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -1947,6 +2022,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_location", @@ -1966,6 +2042,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -2000,6 +2077,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2019,6 +2097,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -2038,6 +2117,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2057,6 +2137,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -2086,6 +2167,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -2125,6 +2207,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -2145,6 +2228,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 7, @@ -2168,6 +2252,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 8, @@ -2216,6 +2301,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -2235,6 +2321,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2243,12 +2330,21 @@ ], "wtype": { "ephemeral": false, + "source_location": { + "file": null, + "line": 41, + "end_line": 41, + "comment_lines": 0, + "column": 11, + "end_column": 25 + }, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -2256,17 +2352,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": { - "file": null, - "line": 41, - "end_line": 41, - "comment_lines": 0, - "column": 11, - "end_column": 25 - }, "name": "tuple", "names": null, "desc": null, @@ -2308,6 +2397,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -2326,6 +2416,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -2340,12 +2431,14 @@ ], "return_type": { "ephemeral": false, + "source_location": null, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -2353,10 +2446,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": null, "name": "tuple", "names": null, "desc": null, @@ -2395,6 +2488,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -2414,6 +2508,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -2433,6 +2528,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -2452,6 +2548,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -2486,6 +2583,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -2514,6 +2612,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -2534,6 +2633,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -2567,6 +2667,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2586,6 +2687,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "replace2", @@ -2607,6 +2709,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -2626,6 +2729,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -2648,6 +2752,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -2667,6 +2772,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -2706,6 +2812,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_location", @@ -2734,6 +2841,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -2753,6 +2861,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2776,6 +2885,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "fixed_byte_size", @@ -2808,6 +2918,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -2827,6 +2938,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract3", @@ -2846,6 +2958,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2865,6 +2978,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_location", @@ -2884,6 +2998,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "fixed_byte_size", @@ -2917,6 +3032,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2936,6 +3052,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -2955,6 +3072,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -2974,6 +3092,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -2994,6 +3113,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_location", @@ -3037,6 +3157,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -3056,6 +3177,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -3064,12 +3186,21 @@ ], "wtype": { "ephemeral": false, + "source_location": { + "file": null, + "line": 59, + "end_line": 59, + "comment_lines": 0, + "column": 11, + "end_column": 25 + }, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -3077,17 +3208,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": { - "file": null, - "line": 59, - "end_line": 59, - "comment_lines": 0, - "column": 11, - "end_column": 25 - }, "name": "tuple", "names": null, "desc": null, @@ -3129,6 +3253,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -3143,12 +3268,14 @@ ], "return_type": { "ephemeral": false, + "source_location": null, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -3156,10 +3283,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": null, "name": "tuple", "names": null, "desc": null, @@ -3198,6 +3325,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -3217,6 +3345,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -3236,6 +3365,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -3255,6 +3385,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -3289,6 +3420,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -3317,6 +3449,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -3337,6 +3470,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -3370,6 +3504,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -3398,6 +3533,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -3418,6 +3554,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -3451,6 +3588,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3470,6 +3608,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -3492,6 +3631,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -3525,6 +3665,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_offset", @@ -3544,6 +3685,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -3563,6 +3705,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3582,6 +3725,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -3615,6 +3759,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -3634,6 +3779,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -3653,6 +3799,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3672,6 +3819,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_offset", @@ -3691,6 +3839,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -3710,6 +3859,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3746,6 +3896,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3774,6 +3925,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -3793,6 +3945,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3812,6 +3965,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -3832,6 +3986,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -3855,6 +4010,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -3874,6 +4030,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -3902,6 +4059,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -3922,6 +4080,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -3944,6 +4103,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_offset", @@ -3979,6 +4139,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "updated", @@ -4007,6 +4168,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -4029,6 +4191,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -4048,6 +4211,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -4074,6 +4238,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "target": { @@ -4097,6 +4262,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -4119,6 +4285,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -4141,6 +4308,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -4188,6 +4356,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -4207,6 +4376,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "updated", @@ -4215,12 +4385,21 @@ ], "wtype": { "ephemeral": false, + "source_location": { + "file": null, + "line": 89, + "end_line": 89, + "comment_lines": 0, + "column": 11, + "end_column": 26 + }, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -4228,17 +4407,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": { - "file": null, - "line": 89, - "end_line": 89, - "comment_lines": 0, - "column": 11, - "end_column": 26 - }, "name": "tuple", "names": null, "desc": null, @@ -4280,6 +4452,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -4294,12 +4467,14 @@ ], "return_type": { "ephemeral": false, + "source_location": null, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -4307,10 +4482,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": null, "name": "tuple", "names": null, "desc": null, @@ -4349,6 +4524,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -4368,6 +4544,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -4387,6 +4564,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -4406,6 +4584,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -4440,6 +4619,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -4468,6 +4648,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -4488,6 +4669,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -4521,6 +4703,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -4549,6 +4732,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -4569,6 +4753,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -4602,6 +4787,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -4621,6 +4807,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -4643,6 +4830,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -4676,6 +4864,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_offset", @@ -4695,6 +4884,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -4714,6 +4904,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -4733,6 +4924,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -4766,6 +4958,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -4785,6 +4978,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -4804,6 +4998,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -4823,6 +5018,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_offset", @@ -4842,6 +5038,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -4861,6 +5058,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -4897,6 +5095,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -4916,6 +5115,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": "", @@ -4956,6 +5156,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -4985,6 +5186,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -5005,6 +5207,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -5027,6 +5230,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -5049,6 +5253,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -5087,6 +5292,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -5106,6 +5312,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -5125,6 +5332,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -5144,6 +5352,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -5177,6 +5386,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -5197,6 +5407,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -5228,6 +5439,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -5248,6 +5460,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -5270,6 +5483,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -5289,6 +5503,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -5332,6 +5547,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "updated", @@ -5369,6 +5585,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -5391,6 +5608,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -5410,6 +5628,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length_minus_1", @@ -5436,6 +5655,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -5458,6 +5678,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -5477,6 +5698,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_and_tail", @@ -5505,6 +5727,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_header_offset", @@ -5525,6 +5748,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -5547,6 +5771,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped_offset", @@ -5592,6 +5817,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "popped", @@ -5611,6 +5837,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "updated", @@ -5619,12 +5846,21 @@ ], "wtype": { "ephemeral": false, + "source_location": { + "file": null, + "line": 121, + "end_line": 121, + "comment_lines": 0, + "column": 11, + "end_column": 26 + }, "types": [ { "name": "bytes", "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, { @@ -5632,17 +5868,10 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" } ], - "source_location": { - "file": null, - "line": 121, - "end_line": 121, - "comment_lines": 0, - "column": 11, - "end_column": 26 - }, "name": "tuple", "names": null, "desc": null, @@ -5684,6 +5913,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -5702,6 +5932,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -5720,6 +5951,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -5738,6 +5970,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -5755,6 +5988,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -5790,6 +6024,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -5809,6 +6044,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -5828,6 +6064,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -5847,6 +6084,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -5881,6 +6119,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_array_length", @@ -5909,6 +6148,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -5929,6 +6169,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -5961,6 +6202,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_array_length_b", @@ -5980,6 +6222,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -6002,6 +6245,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -6021,6 +6265,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_array_length", @@ -6057,6 +6302,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -6076,6 +6322,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "replace2", @@ -6097,6 +6344,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -6116,6 +6364,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_array_length_b", @@ -6149,6 +6398,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "current_bytes", @@ -6186,6 +6436,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -6206,6 +6457,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 7, @@ -6229,6 +6481,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 8, @@ -6262,6 +6515,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "required_bytes", @@ -6299,6 +6553,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_array_length", @@ -6319,6 +6574,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 7, @@ -6342,6 +6598,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 8, @@ -6384,6 +6641,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "current_bytes", @@ -6404,6 +6662,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "required_bytes", @@ -6444,6 +6703,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -6464,6 +6724,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "bzero", @@ -6492,6 +6753,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "required_bytes", @@ -6512,6 +6774,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "current_bytes", @@ -6555,6 +6818,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "write_offset", @@ -6583,6 +6847,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -6603,6 +6868,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 16, @@ -6645,6 +6911,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -6665,6 +6932,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -6693,6 +6961,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "is_packed", @@ -6712,6 +6981,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -6732,6 +7002,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 8, @@ -6743,6 +7014,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "_type": "ConditionalExpression" @@ -6763,6 +7035,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "i", @@ -6801,6 +7074,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -6820,6 +7094,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "setbit", @@ -6839,6 +7114,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -6858,6 +7134,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "write_offset", @@ -6877,6 +7154,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "getbit", @@ -6896,6 +7174,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_bytes", @@ -6915,6 +7194,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "i", @@ -6951,6 +7231,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "write_offset", @@ -6971,6 +7252,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -7009,6 +7291,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "result", @@ -7048,6 +7331,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7066,6 +7350,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7084,6 +7369,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7101,6 +7387,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -7136,6 +7423,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -7155,6 +7443,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -7174,6 +7463,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -7193,6 +7483,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -7227,6 +7518,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_length", @@ -7255,6 +7547,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -7275,6 +7568,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -7307,6 +7601,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "header_end", @@ -7344,6 +7639,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -7364,6 +7660,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -7387,6 +7684,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -7429,6 +7727,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -7451,6 +7750,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -7470,6 +7770,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_length", @@ -7496,6 +7797,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "target": { @@ -7546,6 +7848,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -7565,6 +7868,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -7584,6 +7888,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -7604,6 +7909,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "header_end", @@ -7627,6 +7933,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "bzero", @@ -7655,6 +7962,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -7675,6 +7983,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -7703,6 +8012,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -7722,6 +8032,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -7741,6 +8052,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "header_end", @@ -7760,6 +8072,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -7779,6 +8092,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -7807,6 +8121,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_bytes", @@ -7831,6 +8146,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_length", @@ -7853,6 +8169,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -7899,6 +8216,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7917,6 +8235,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7935,6 +8254,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7953,6 +8273,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -7970,6 +8291,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -8005,6 +8327,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -8024,6 +8347,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": "", @@ -8055,6 +8379,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset_adjustment", @@ -8083,6 +8408,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -8103,6 +8429,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -8145,6 +8472,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -8174,6 +8502,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_items_count", @@ -8194,6 +8523,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -8216,6 +8546,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -8238,6 +8569,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -8276,6 +8608,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -8295,6 +8628,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -8314,6 +8648,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -8333,6 +8668,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -8366,6 +8702,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -8386,6 +8723,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -8408,6 +8746,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -8436,6 +8775,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset_adjustment", @@ -8456,6 +8796,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -8501,6 +8842,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset_adjustment", @@ -8520,6 +8862,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -8539,6 +8882,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -8581,6 +8925,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -8610,6 +8955,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -8630,6 +8976,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -8652,6 +8999,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -8674,6 +9022,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -8712,6 +9061,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -8731,6 +9081,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -8750,6 +9101,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -8769,6 +9121,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -8802,6 +9155,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -8822,6 +9176,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -8844,6 +9199,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -8872,6 +9228,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset_adjustment", @@ -8892,6 +9249,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "item_offset", @@ -8964,6 +9322,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -8986,6 +9345,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -9014,6 +9374,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_items_count", @@ -9034,6 +9395,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -9062,6 +9424,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head", @@ -9084,6 +9447,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -9103,6 +9467,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -9131,6 +9496,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_items_count", @@ -9151,6 +9517,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -9173,6 +9540,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -9192,6 +9560,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -9220,6 +9589,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -9239,6 +9609,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -9267,6 +9638,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_items_count", @@ -9287,6 +9659,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -9309,6 +9682,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -9328,6 +9702,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -9375,6 +9750,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -9393,6 +9769,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -9411,6 +9788,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -9428,6 +9806,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -9463,6 +9842,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "size_b", @@ -9482,6 +9862,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring", @@ -9504,6 +9885,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -9537,6 +9919,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -9556,6 +9939,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "btoi", @@ -9575,6 +9959,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "size_b", @@ -9617,6 +10002,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "size_b", @@ -9637,6 +10023,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "target": { @@ -9660,6 +10047,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -9682,6 +10070,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array", @@ -9707,6 +10096,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item", @@ -9729,6 +10119,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -9751,6 +10142,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -9796,6 +10188,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -9814,6 +10207,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -9832,6 +10226,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -9849,6 +10244,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -9884,6 +10280,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "size_b", @@ -9903,6 +10300,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring", @@ -9925,6 +10323,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "source", @@ -9958,6 +10357,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -9977,6 +10377,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "btoi", @@ -9996,6 +10397,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "size_b", @@ -10038,6 +10440,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "size_b", @@ -10058,6 +10461,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "target": { @@ -10081,6 +10485,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -10103,6 +10508,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "source", @@ -10128,6 +10534,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item", @@ -10150,6 +10557,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -10172,6 +10580,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -10217,6 +10626,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -10235,6 +10645,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -10253,6 +10664,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -10271,6 +10683,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -10288,6 +10701,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -10323,6 +10737,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "original_offset", @@ -10342,6 +10757,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -10361,6 +10777,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -10389,6 +10806,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -10409,6 +10827,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -10445,6 +10864,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "next_item_offset", @@ -10464,6 +10884,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -10483,6 +10904,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -10520,6 +10942,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -10540,6 +10963,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -10563,6 +10987,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -10599,6 +11024,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "end_of_tail", @@ -10618,6 +11044,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -10637,6 +11064,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -10670,6 +11098,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "is_before_end", @@ -10707,6 +11136,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -10727,6 +11157,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -10749,6 +11180,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -10782,6 +11214,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "end_offset", @@ -10801,6 +11234,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "select", @@ -10820,6 +11254,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "end_of_tail", @@ -10839,6 +11274,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "next_item_offset", @@ -10858,6 +11294,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "is_before_end", @@ -10891,6 +11328,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "original_item_length", @@ -10919,6 +11357,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "end_offset", @@ -10939,6 +11378,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "original_offset", @@ -10971,6 +11411,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item_length", @@ -10990,6 +11431,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -11009,6 +11451,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item", @@ -11042,6 +11485,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -11079,6 +11523,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -11098,6 +11543,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -11117,6 +11563,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -11137,6 +11584,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "original_offset", @@ -11160,6 +11608,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item", @@ -11182,6 +11631,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -11201,6 +11651,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -11220,6 +11671,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "end_offset", @@ -11239,6 +11691,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "end_of_tail", @@ -11301,6 +11754,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -11321,6 +11775,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 1, @@ -11344,6 +11799,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -11375,6 +11831,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -11395,6 +11852,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -11417,6 +11875,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -11439,6 +11898,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -11477,6 +11937,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -11496,6 +11957,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -11515,6 +11977,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -11534,6 +11997,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -11567,6 +12031,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -11587,6 +12052,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item_length", @@ -11617,6 +12083,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -11637,6 +12104,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "original_item_length", @@ -11667,6 +12135,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset_bytes", @@ -11686,6 +12155,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -11708,6 +12178,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -11727,6 +12198,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -11763,6 +12235,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -11782,6 +12255,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "replace3", @@ -11801,6 +12275,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -11820,6 +12295,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -11839,6 +12315,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset_bytes", @@ -11879,6 +12356,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_head_and_tail", @@ -11918,6 +12396,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -11936,6 +12415,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -11954,6 +12434,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -11972,6 +12453,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -11989,6 +12471,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -12034,6 +12517,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -12054,6 +12538,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -12089,6 +12574,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "offset_for_index", @@ -12108,6 +12594,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -12127,6 +12614,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -12155,6 +12643,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -12175,6 +12664,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -12211,6 +12701,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "old_item_length", @@ -12230,6 +12721,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -12249,6 +12741,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -12268,6 +12761,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "offset_for_index", @@ -12301,6 +12795,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "old_item_end", @@ -12338,6 +12833,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "offset_for_index", @@ -12358,6 +12854,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "old_item_length", @@ -12380,6 +12877,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -12413,6 +12911,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "target": { @@ -12454,6 +12953,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -12473,6 +12973,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -12492,6 +12993,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 0, @@ -12512,6 +13014,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "offset_for_index", @@ -12535,6 +13038,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "new_item", @@ -12557,6 +13061,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "substring3", @@ -12576,6 +13081,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -12595,6 +13101,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "old_item_end", @@ -12614,6 +13121,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "len", @@ -12633,6 +13141,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -12663,6 +13172,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_length", @@ -12685,6 +13195,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "index", @@ -12728,6 +13239,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -12746,6 +13258,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -12764,6 +13277,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "source_location": { @@ -12781,6 +13295,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "body": { @@ -12816,6 +13331,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -12835,6 +13351,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "select", @@ -12863,6 +13380,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length", @@ -12883,6 +13401,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -12905,6 +13424,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -12924,6 +13444,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -12952,6 +13473,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start_at_index", @@ -12972,6 +13494,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -12997,6 +13520,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start_at_index", @@ -13048,6 +13572,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "start_at_index", @@ -13068,6 +13593,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -13099,6 +13625,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "length", @@ -13119,6 +13646,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -13141,6 +13669,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -13163,6 +13692,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -13201,6 +13731,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset_bytes", @@ -13220,6 +13751,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract", @@ -13242,6 +13774,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "itob", @@ -13261,6 +13794,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -13297,6 +13831,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -13316,6 +13851,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "replace3", @@ -13335,6 +13871,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -13354,6 +13891,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -13373,6 +13911,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset_bytes", @@ -13406,6 +13945,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -13435,6 +13975,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "op_code": "extract_uint16", @@ -13454,6 +13995,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail", @@ -13473,6 +14015,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "tail_offset", @@ -13496,6 +14039,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -13529,6 +14073,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "head_offset", @@ -13549,6 +14094,7 @@ "scalar_type": 2, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "value": 2, @@ -13587,6 +14133,7 @@ "scalar_type": 1, "ephemeral": false, "immutable": true, + "source_location": null, "_type": "WType" }, "name": "array_head_and_tail",