{
"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"
}
}
{
"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,