{ "limits": "Actual allocator scan/retry/count/initializer. Native\u221216 request captured, no engine registration. Stops before2294 diagnostic loop and2319 fatal call; source1022/1024 distinction preserved.", "probes": [ { "count": 65, "execution": { "calls": [ { "args": { "8": 34091368, "12": 65, "16": 880, "20": 65536, "24": 6336 }, "instruction": 277334, "target": -16 }, { "args": { "8": 34147688 }, "instruction": 277340, "target": 277125 } ], "trace": null, "trace_length": 72, "trace_sha256": "1d28f58b3d20b8086691d9953fcc2273fe4ba225fba932e89d2ee5e680f63e42" }, "initial_count": 64, "initializers": [ { "execution": { "byte_writes": [], "calls": [], "children": [], "return": null, "trace": null, "trace_length": 37, "trace_sha256": "28817e3720fb4baf6314402c6eec3730a71eec58fcf6e1ba09afd07133ff888f" }, "final": { "0": 64, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 0, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "initial": { "0": 305419896, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 305419896, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 305419896, "540": 305419896, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 0, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "pointer": 34147688 } ], "label": "first-extension", "record": { "0": 64, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 0, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "registrations": [ { "arguments": { "8": 34091368, "12": 65, "16": 880, "20": 65536, "24": 6336 }, "native_effect_not_executed": true } ], "retry": 0, "scan_index": 64, "selected": 34147688, "status": "returned" }, { "count": 66, "execution": { "calls": [ { "args": { "8": 34147688 }, "instruction": 277222, "target": 277125 } ], "trace": null, "trace_length": 52, "trace_sha256": "98a8582fb23be38aab218faf8b85beec8a71f64f75ea30d7b69b795373d799a1" }, "initial_count": 66, "initializers": [ { "execution": { "byte_writes": [], "calls": [], "children": [], "return": null, "trace": null, "trace_length": 37, "trace_sha256": "28817e3720fb4baf6314402c6eec3730a71eec58fcf6e1ba09afd07133ff888f" }, "final": { "0": 64, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 0, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "initial": { "0": 305419896, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 305419896, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 0, "536": 305419896, "540": 305419896, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 0, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "pointer": 34147688 } ], "label": "reuse", "record": { "0": 64, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 0, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "registrations": [], "retry": 0, "scan_index": 64, "selected": 34147688, "status": "returned" }, { "count": 67, "execution": { "calls": [ { "args": { "8": 34091368, "12": 67, "16": 880, "20": 65536, "24": 6336 }, "instruction": 277334, "target": -16 }, { "args": { "8": 34149448 }, "instruction": 277340, "target": 277125 } ], "trace": null, "trace_length": 148, "trace_sha256": "b527a453571fe772dd864f53bb810f74a967b587684c030746b938ca30ff03fc" }, "initial_count": 66, "initializers": [ { "execution": { "byte_writes": [], "calls": [], "children": [], "return": null, "trace": null, "trace_length": 37, "trace_sha256": "28817e3720fb4baf6314402c6eec3730a71eec58fcf6e1ba09afd07133ff888f" }, "final": { "0": 66, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 305419896, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "initial": { "0": 305419896, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 305419896, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 305419896, "536": 305419896, "540": 305419896, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 305419896, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "pointer": 34149448 } ], "label": "recent-extends", "record": { "0": 66, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 305419896, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "registrations": [ { "arguments": { "8": 34091368, "12": 67, "16": 880, "20": 65536, "24": 6336 }, "native_effect_not_executed": true } ], "retry": 0, "scan_index": 66, "selected": 34149448, "status": "returned" }, { "count": 1022, "execution": { "calls": [], "trace": null, "trace_length": 24943, "trace_sha256": "c8fbb3918efeb8510bf53c0c85615279107c67891c1c6fb45b40d9a70db39082" }, "initial_count": 1022, "initializers": [], "label": "diagnostic-1022", "record": null, "registrations": [], "retry": 0, "scan_index": 0, "selected": null, "status": "diagnostic-loop-pending" }, { "count": 1024, "execution": { "calls": [ { "args": { "8": 34091368, "12": 1024, "16": 880, "20": 65536, "24": 6336 }, "instruction": 277334, "target": -16 }, { "args": { "8": 34991608 }, "instruction": 277340, "target": 277125 } ], "trace": null, "trace_length": 25006, "trace_sha256": "bbdc860ef7e412f35d6cd86bf16ba0eeb7d0d616dcf9a2760ed71f7a1c110200" }, "initial_count": 1023, "initializers": [ { "execution": { "byte_writes": [], "calls": [], "children": [], "return": null, "trace": null, "trace_length": 37, "trace_sha256": "28817e3720fb4baf6314402c6eec3730a71eec58fcf6e1ba09afd07133ff888f" }, "final": { "0": 1023, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 305419896, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "initial": { "0": 305419896, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 305419896, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 305419896, "536": 305419896, "540": 305419896, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 305419896, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "pointer": 34991608 } ], "label": "last-legal-extension", "record": { "0": 1023, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 305419896, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "registrations": [ { "arguments": { "8": 34091368, "12": 1024, "16": 880, "20": 65536, "24": 6336 }, "native_effect_not_executed": true } ], "retry": 0, "scan_index": 1023, "selected": 34991608, "status": "returned" }, { "count": 1025, "execution": { "calls": [], "trace": null, "trace_length": 50002, "trace_sha256": "43f64dbf668af25a21a8cd490d43a0f19e6df99bb614bb0acb34b8d153634a57" }, "initial_count": 1024, "initializers": [], "label": "full-in-use", "record": null, "registrations": [], "retry": 2, "scan_index": 1024, "selected": null, "status": "fatal-error-pending" }, { "count": 1024, "execution": { "calls": [ { "args": { "8": 34148568 }, "instruction": 277222, "target": 277125 } ], "trace": null, "trace_length": 25079, "trace_sha256": "610e4dd90608b770791e097406b44ad7249a84e509fb2a0001a7d59f22db44a1" }, "initial_count": 1024, "initializers": [ { "execution": { "byte_writes": [], "calls": [], "children": [], "return": null, "trace": null, "trace_length": 37, "trace_sha256": "28817e3720fb4baf6314402c6eec3730a71eec58fcf6e1ba09afd07133ff888f" }, "final": { "0": 65, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 4999, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "initial": { "0": 305419896, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 305419896, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 0, "536": 305419896, "540": 305419896, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 4999, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "pointer": 34148568 } ], "label": "full-recent-retry", "record": { "0": 65, "100": 305419896, "104": 305419896, "108": 305419896, "112": 305419896, "116": 305419896, "12": 305419896, "120": 305419896, "124": 305419896, "128": 305419896, "132": 305419896, "136": 305419896, "140": 305419896, "144": 305419896, "148": 305419896, "152": 305419896, "156": 305419896, "16": 305419896, "160": 305419896, "164": 305419896, "168": 305419896, "172": 305419896, "176": 305419896, "180": 305419896, "184": 305419896, "188": 305419896, "192": 305419896, "196": 305419896, "20": 305419896, "200": 305419896, "204": 305419896, "208": 305419896, "212": 305419896, "216": 305419896, "220": 305419896, "224": 305419896, "228": 305419896, "232": 305419896, "236": 305419896, "24": 305419896, "240": 305419896, "244": 305419896, "248": 305419896, "252": 305419896, "256": 305419896, "260": 305419896, "264": 305419896, "268": 305419896, "272": 305419896, "276": 305419896, "28": 305419896, "280": 305419896, "284": 305419896, "288": 305419896, "292": 305419896, "296": 305419896, "300": 305419896, "304": 305419896, "308": 305419896, "312": 305419896, "316": 305419896, "32": 305419896, "320": 305419896, "324": 305419896, "328": 305419896, "332": 305419896, "336": 305419896, "340": 305419896, "344": 305419896, "348": 305419896, "352": 305419896, "356": 305419896, "36": 305419896, "360": 305419896, "364": 305419896, "368": 305419896, "372": 305419896, "376": 305419896, "380": 305419896, "384": 305419896, "388": 305419896, "392": 305419896, "396": 305419896, "4": 305419896, "40": 305419896, "400": 305419896, "404": 305419896, "408": 305419896, "412": 305419896, "416": 305419896, "420": 305419896, "424": 305419896, "428": 305419896, "432": 305419896, "436": 305419896, "44": 305419896, "440": 305419896, "444": 305419896, "448": 305419896, "452": 305419896, "456": 305419896, "460": 305419896, "464": 305419896, "468": 305419896, "472": 305419896, "476": 305419896, "48": 305419896, "480": 305419896, "484": 305419896, "488": 305419896, "492": 305419896, "496": 305419896, "500": 305419896, "504": 305419896, "508": 305419896, "512": 1023, "516": 305419896, "52": 305419896, "520": 305419896, "524": 305419896, "528": 305419896, "532": 1, "536": 97243, "540": 3226498489, "544": 305419896, "548": 305419896, "552": 305419896, "556": 305419896, "56": 305419896, "560": 305419896, "564": 4999, "568": 305419896, "572": 305419896, "576": 305419896, "580": 305419896, "584": 305419896, "588": 305419896, "592": 305419896, "596": 305419896, "60": 305419896, "600": 305419896, "604": 305419896, "608": 305419896, "612": 305419896, "616": 305419896, "620": 305419896, "624": 305419896, "628": 305419896, "632": 305419896, "636": 305419896, "64": 305419896, "640": 305419896, "644": 305419896, "648": 305419896, "652": 305419896, "656": 305419896, "660": 305419896, "664": 305419896, "668": 305419896, "672": 305419896, "676": 305419896, "68": 305419896, "680": 305419896, "684": 305419896, "688": 305419896, "692": 305419896, "696": 305419896, "700": 305419896, "704": 305419896, "708": 305419896, "712": 305419896, "716": 305419896, "72": 305419896, "720": 305419896, "724": 305419896, "728": 305419896, "732": 305419896, "736": 305419896, "740": 305419896, "744": 305419896, "748": 305419896, "752": 305419896, "756": 305419896, "76": 305419896, "760": 305419896, "764": 305419896, "768": 305419896, "772": 305419896, "776": 305419896, "780": 305419896, "784": 305419896, "788": 305419896, "792": 305419896, "796": 305419896, "8": 305419896, "80": 305419896, "800": 305419896, "804": 305419896, "808": 305419896, "812": 305419896, "816": 305419896, "820": 305419896, "824": 305419896, "828": 305419896, "832": 305419896, "836": 305419896, "84": 305419896, "840": 305419896, "844": 305419896, "848": 305419896, "852": 305419896, "856": 305419896, "860": 305419896, "864": 305419896, "868": 305419896, "872": 305419896, "876": 305419896, "88": 305419896, "92": 305419896, "96": 305419896 }, "registrations": [], "retry": 1, "scan_index": 65, "selected": 34148568, "status": "returned" } ], "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d", "source": { "archive": "zUrT43_qvm.pk3", "archive_sha256": "b59bf0c5bedf11d50e0edd220da7eade96de40601e98ae14c54c819047df0796", "member": { "bytes": 983300, "comment_hex": "", "compressed_bytes": 246560, "compression": 8, "crc32": "98ea1768", "create_system": 0, "create_version": 63, "date_time": [ 2018, 6, 18, 22, 11, 50 ], "directory": false, "entry_index": 2, "external_attr": 32, "extra_hex": "0a0020000000000001001800d1e24e974007d40116dcbf962f1fd20116dcbf962f1fd201", "extract_version": 20, "flags": 0, "header_offset": 221309, "internal_attr": 0, "occurrence": 0, "output": "assets/extracted/zUrT43_qvm.pk3/members/000002/vm/qagame.qvm", "path": "vm/qagame.qvm", "sha256": "a589351dfe517470a1b121dd2164714987d9e4577bf00c6486e1540035d7a79d", "type": "member", "volume": 0 } }, "strings": { "97208": "G_Spawn: no free entities", "97234": "%4i: %s\n" } }