qvm: string resource release

docs/ASSET_PIPELINE_TODO.md

@@ -700,3 +700,6 @@ Research progress: RE-674 [report](research/QVM_LEAF_BASIS.md); remaining native
 
 
 Research progress: RE-675 [report](research/QVM_WORD_STRLEN.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-676 [report](research/QVM_STRING_RELEASE.md); remaining native/content/runtime/platform scope stays open.

docs/FINDINGS.md

@@ -1046,3 +1046,6 @@ Bounded qagame paths recover bomb-plant/inactivity correction requests, direct f
 
 
 **RE-675 — Packed-word string length for resource release:** Complete36038 tests each byte of packed words and returns the first NUL offset, including high-bit data and cross-word boundaries. [Evidence](research/QVM_WORD_STRLEN.md).
+
+
+**RE-676 — String resource list detach and bounded byte wipe:** 249639 searches the resource list, detaches a matching header, runs actual36038, wipes length+8 bytes and requests16934 heap release; missing pointers do nothing. [Evidence](research/QVM_STRING_RELEASE.md).

docs/PROVISIONAL_TODO.md

@@ -1026,3 +1026,6 @@ Research progress: RE-674 [report](research/QVM_LEAF_BASIS.md); remaining native
 
 
 Research progress: RE-675 [report](research/QVM_WORD_STRLEN.md); remaining native/content/runtime/platform scope stays open.
+
+
+Research progress: RE-676 [report](research/QVM_STRING_RELEASE.md); remaining native/content/runtime/platform scope stays open.

docs/RESEARCH_LEDGER.md

@@ -1032,3 +1032,8 @@ Complete22009 composes the sample basis only with nonnull parents and uses local
 ## 2026-10-21 — RE-675 Packed-word string length for resource release (separate task commit)
 
 Complete36038 tests each byte of packed words and returns the first NUL offset, including high-bit data and cross-word boundaries. 48 independent byte-length fixtures cover every in-word NUL position, long strings, offset pointers and unchanged input memory; missing backing words reject. Full suite: 1161 tests pass. Report regenerates byte-identically (22547 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.
+
+
+## 2026-10-21 — RE-676 String resource list detach and bounded byte wipe (separate task commit)
+
+249639 searches the resource list, detaches a matching header, runs actual36038, wipes length+8 bytes and requests16934 heap release; missing pointers do nothing. 28 whole-byte fixtures independently verify head/middle/tail/only/missing detach, pointer rewiring, unaligned wipe ends and exact child ordering. Full suite: 1165 tests pass. Report regenerates byte-identically (91672 bytes). Storage/filter, links and whitespace checks pass. No assets/Rust runtime/shared VM evaluator changed; native/reference/legal/full platform scope remains open.

docs/REVERSE_ENGINEERING_TODO.md

@@ -1069,3 +1069,6 @@ Purpose: turn the supplied installation into an evidence-backed specification of
 
 
 - [x] RE-675 Packed-word string length for resource release ([report](research/QVM_WORD_STRLEN.md)).
+
+
+- [x] RE-676 String resource list detach and bounded byte wipe ([report](research/QVM_STRING_RELEASE.md)).

docs/research/QVM_STRING_RELEASE.md

@@ -0,0 +1,7 @@
+# String resource list detach and bounded byte wipe
+
+RE-676. Reproduce with `python3 scripts/analyze_qvm_string_release.py`; check with `python3 scripts/test_qvm_string_release.py`. The [machine report](qvm-string-release.json) retains source identity and bounded fixtures.
+
+Complete249640–249739 follows the global30004 list and compares the requested pointer−8 header. It rewires previous/next links, updates the global head when needed, computes length with actual36038, wipes header plus length bytes and requests heap release16934 on the header. The terminating NUL lies just outside the requested wipe but is already zero; trailing canaries are preserved. A missing header returns without strlen/wipe/free calls. All backing bytes are independently checked, including partial-word wipe tails. Wipe effects are explicitly modeled and heap coalescing remains captured, so this does not establish original allocator/lifetime/double-free parity.
+
+No original executable/full QVM/native collision/physics/rendering executes. Native responses and legal input domains are supplied or unverified where stated; full runtime/macOS/Linux Rust/Bevy/Solari gameplay remains open.

docs/research/README.md

@@ -627,3 +627,6 @@ The extension collector adds five focused tests for native tail calls, command-r
 
 
 [RE-675: Packed-word string length for resource release](QVM_WORD_STRLEN.md). Reproduce with `python3 scripts/analyze_qvm_word_strlen.py`; check with `python3 scripts/test_qvm_word_strlen.py`.
+
+
+[RE-676: String resource list detach and bounded byte wipe](QVM_STRING_RELEASE.md). Reproduce with `python3 scripts/analyze_qvm_string_release.py`; check with `python3 scripts/test_qvm_string_release.py`.

docs/research/qvm-string-release.json

@@ -0,0 +1,2589 @@
+{
+  "limits": "Complete249640\u2013249739 with actual36038. Bounded byte wipe modeled,16934 heap release captured. Supplied acyclic list/string storage; no native allocator coalescing, lifetime or double-free legality parity.",
+  "probes": [
+    {
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 16,
+        "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a"
+      },
+      "head": 0,
+      "heap_requests": [],
+      "initial_head": 0,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 16,
+        "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a"
+      },
+      "head": 0,
+      "heap_requests": [],
+      "initial_head": 0,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 16,
+        "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a"
+      },
+      "head": 0,
+      "heap_requests": [],
+      "initial_head": 0,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 0,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 16,
+        "trace_sha256": "b437e5e9f4272e877aa669e3cda51fe898da976d977ba88faad786220549348a"
+      },
+      "head": 0,
+      "heap_requests": [],
+      "initial_head": 0,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 8
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 23,
+                "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
+              },
+              "length": 0,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 8
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 8
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 73,
+        "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd"
+      },
+      "head": 0,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 9
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 37,
+                "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
+              },
+              "length": 1,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 9
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 9
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 73,
+        "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd"
+      },
+      "head": 0,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 12
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 4,
+                "trace": null,
+                "trace_length": 64,
+                "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18"
+              },
+              "length": 4,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 12
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 12
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 73,
+        "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd"
+      },
+      "head": 0,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 25
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 17,
+                "trace": null,
+                "trace_length": 201,
+                "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0"
+              },
+              "length": 17,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 25
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 25
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 73,
+        "trace_sha256": "a6d27a86601d368332377e829ab9dc649e0485926091963dc396474cce41eccd"
+      },
+      "head": 0,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 1,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 32,
+        "trace_sha256": "11e52e8d3513c74fc5948d0f64937feda6b03573b45df3d6751248ab849f39d2"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 8
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 23,
+                "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
+              },
+              "length": 0,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 8
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 8
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 82,
+        "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d"
+      },
+      "head": 2019561728,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 9
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 37,
+                "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
+              },
+              "length": 1,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 9
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 9
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 82,
+        "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d"
+      },
+      "head": 2019561728,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 12
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 4,
+                "trace": null,
+                "trace_length": 64,
+                "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18"
+              },
+              "length": 4,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 12
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 12
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 82,
+        "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d"
+      },
+      "head": 2019561728,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561480
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561472,
+              "12": 0,
+              "16": 25
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561472
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561480
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 17,
+                "trace": null,
+                "trace_length": 201,
+                "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0"
+              },
+              "length": 17,
+              "pointer": 2019561480
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 25
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561472,
+                "12": 0,
+                "16": 25
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561472
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561472
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 82,
+        "trace_sha256": "2a52d83dcb30d8984a134ce093aaa49e430089e9e5fba54a91d96df670b5b53d"
+      },
+      "head": 2019561728,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561472
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561480,
+      "records": [
+        {
+          "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 0
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561736
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561728,
+              "12": 0,
+              "16": 8
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561728
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561736
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 23,
+                "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
+              },
+              "length": 0,
+              "pointer": 2019561736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 8
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 8
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561728
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 102,
+        "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561728
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561736,
+      "records": [
+        {
+          "final_hex": "00000000001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00106078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 1
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561736
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561728,
+              "12": 0,
+              "16": 9
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561728
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561736
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 37,
+                "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
+              },
+              "length": 1,
+              "pointer": 2019561736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 9
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 9
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561728
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 102,
+        "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561728
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561736,
+      "records": [
+        {
+          "final_hex": "00000000001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00106078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 1
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561736
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561728,
+              "12": 0,
+              "16": 12
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561728
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561736
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 4,
+                "trace": null,
+                "trace_length": 64,
+                "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18"
+              },
+              "length": 4,
+              "pointer": 2019561736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 12
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 12
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561728
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 102,
+        "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561728
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561736,
+      "records": [
+        {
+          "final_hex": "00000000001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00106078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 1
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561736
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561728,
+              "12": 0,
+              "16": 25
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561728
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561736
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 17,
+                "trace": null,
+                "trace_length": 201,
+                "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0"
+              },
+              "length": 17,
+              "pointer": 2019561736
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 25
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561728,
+                "12": 0,
+                "16": 25
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561728
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561728
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 102,
+        "trace_sha256": "bffab2bf7b151c7d266fc6673cf73a2f6dfb44bfdd2da086a8a3e6d55b1e67cc"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561728
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561736,
+      "records": [
+        {
+          "final_hex": "00000000001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00106078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 1
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561992
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561984,
+              "12": 0,
+              "16": 8
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561984
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561992
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 0,
+                "trace": null,
+                "trace_length": 23,
+                "trace_sha256": "1b349c58c6f21e6a15c703b42348dc1414d4ccc6827fa5d3219b6103707667f5"
+              },
+              "length": 0,
+              "pointer": 2019561992
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 8
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 8
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561984
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 109,
+        "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561984
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561992,
+      "records": [
+        {
+          "final_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 2
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561992
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561984,
+              "12": 0,
+              "16": 9
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561984
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561992
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 1,
+                "trace": null,
+                "trace_length": 37,
+                "trace_sha256": "a6cd2a09059ed0f19ad38433ac4109baf623116c17f703182c186e97588f7ecc"
+              },
+              "length": 1,
+              "pointer": 2019561992
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 9
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 9
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561984
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 109,
+        "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561984
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561992,
+      "records": [
+        {
+          "final_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 2
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561992
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561984,
+              "12": 0,
+              "16": 12
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561984
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561992
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 4,
+                "trace": null,
+                "trace_length": 64,
+                "trace_sha256": "48400504cf85aaf4e728055a74011792e380084af8463ce7f98452ada2a7ea18"
+              },
+              "length": 4,
+              "pointer": 2019561992
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 12
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 12
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561984
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 109,
+        "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561984
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561992,
+      "records": [
+        {
+          "final_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000000000000515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 2
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [
+          {
+            "args": {
+              "8": 2019561992
+            },
+            "instruction": 249706,
+            "target": 36038
+          },
+          {
+            "args": {
+              "8": 2019561984,
+              "12": 0,
+              "16": 25
+            },
+            "instruction": 249719,
+            "target": -101
+          },
+          {
+            "args": {
+              "8": 2019561984
+            },
+            "instruction": 249725,
+            "target": 16934
+          }
+        ],
+        "children": [
+          {
+            "call": {
+              "args": {
+                "8": 2019561992
+              },
+              "instruction": 249706,
+              "target": 36038
+            },
+            "effect": {
+              "execution": {
+                "byte_writes": [],
+                "calls": [],
+                "children": [],
+                "return": 17,
+                "trace": null,
+                "trace_length": 201,
+                "trace_sha256": "d5a1bfdd93c2c2b74489794dcc061822fd36bfcf6ba938cf88474c5e84fcc4a0"
+              },
+              "length": 17,
+              "pointer": 2019561992
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 25
+              },
+              "instruction": 249719,
+              "target": -101
+            },
+            "effect": {
+              "modeled_byte_wipe": {
+                "8": 2019561984,
+                "12": 0,
+                "16": 25
+              },
+              "original_native_executed": false
+            }
+          },
+          {
+            "call": {
+              "args": {
+                "8": 2019561984
+              },
+              "instruction": 249725,
+              "target": 16934
+            },
+            "effect": {
+              "heap_free_not_executed": true,
+              "pointer": 2019561984
+            }
+          }
+        ],
+        "return": null,
+        "trace": null,
+        "trace_length": 109,
+        "trace_sha256": "851268b14bc192fd046b02921a43edde384be63f5e1a5d6ae1eab9db093aaf23"
+      },
+      "head": 2019561472,
+      "heap_requests": [
+        {
+          "heap_free_not_executed": true,
+          "pointer": 2019561984
+        }
+      ],
+      "initial_head": 2019561472,
+      "pointer": 2019561992,
+      "records": [
+        {
+          "final_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00000000000000000000000000000000000000000000000000005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 2
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 64,
+        "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260780051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000000051515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 0,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 64,
+        "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 1,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 64,
+        "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414100515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 4,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    },
+    {
+      "count": 3,
+      "execution": {
+        "byte_writes": [],
+        "calls": [],
+        "children": [],
+        "return": null,
+        "trace": null,
+        "trace_length": 64,
+        "trace_sha256": "2ca8bea3e90d8d57e1dc61caef3e3799dc55bb2ca1286d1b4c059a2b8892dc1d"
+      },
+      "head": 2019561472,
+      "heap_requests": [],
+      "initial_head": 2019561472,
+      "pointer": 2019562248,
+      "records": [
+        {
+          "final_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000001160784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561472
+        },
+        {
+          "final_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00106078001260784141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561728
+        },
+        {
+          "final_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00116078000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019561984
+        },
+        {
+          "final_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "initial_hex": "00000000000000004141414141414141414141414141414141005151515151515151515151515151515151515151515151515151515151515151515151515151",
+          "payload_length": 17,
+          "pointer": 2019562240
+        }
+      ],
+      "target_index": 3
+    }
+  ],
+  "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
+    }
+  }
+}

scripts/analyze_qvm_string_release.py

@@ -0,0 +1,37 @@
+#!/usr/bin/env python3
+"""Complete249639 list detach, actual36038 and bounded wipe; heap free captured."""
+from pathlib import Path
+from qvm_research_support import source,execute
+from analyze_qvm_word_strlen import length
+from analyze_qvm import write_json
+LOCAL=0x78600000
+HEAD=30004
+NODES=[LOCAL+4096+256*j for j in range(4)]
+
+def bytes_at(m,p):return b''.join((m[p+j]&0xffffffff).to_bytes(4,'little') for j in range(0,64,4))
+def release(ins,m,pointer):
+    m=dict(m);m[LOCAL+48]=pointer;heap=[]
+    def strlen(i,m,a,c):m,r=length(i,m,a[8]);return m,c,r['length'],r
+    def zero(i,m,a,c):
+        start=a[8];size=a[16];assert a[12]==0 and 0<=size<=64
+        for j in range(size):
+            address=start+j;base=address&~3;shift=(address&3)*8;m[base]=(m[base]&0xffffffff)&~(255<<shift)
+        return m,c,0,{'modeled_byte_wipe':a,'original_native_executed':False}
+    def free(i,m,a,c):r={'pointer':a[8],'heap_free_not_executed':True};heap.append(r);return m,c,0,r
+    m,_,e=execute(ins,249640,249740,m,(0,0,0),LOCAL,{36038:strlen,-101:zero,16934:free});return m,{'pointer':pointer,'head':m[HEAD],'heap_requests':heap,'execution':e}
+
+def fixture(count,target,size):
+    m={HEAD:NODES[0] if count else 0};records=[]
+    for j,p in enumerate(NODES):
+        data=bytearray(b'Q'*64);data[:4]=(NODES[j-1] if 0<j<count else 0).to_bytes(4,'little');data[4:8]=(NODES[j+1] if j+1<count else 0).to_bytes(4,'little');data[8:8+size]=b'A'*size;data[8+size]=0
+        for k in range(0,64,4):m[p+k]=int.from_bytes(data[k:k+4],'little')
+        records.append({'pointer':p,'initial_hex':data.hex(),'payload_length':size})
+    return m,records,NODES[target]+8
+
+def main():
+    q,raw,h,ins=source();rows=[]
+    for count,target in [(0,3),(1,0),(1,3),(3,0),(3,1),(3,2),(3,3)]:
+        for size in [0,1,4,17]:
+            m,records,pointer=fixture(count,target,size);initial_head=m[HEAD];m,r=release(ins,m,pointer);r.update({'count':count,'target_index':target,'initial_head':initial_head,'records':[{**a,'final_hex':bytes_at(m,a['pointer']).hex()} for a in records]});rows.append(r)
+    write_json(Path('docs/research/qvm-string-release.json'),{'source':q['source'],'sha256':q['sha256'],'probes':rows,'limits':'Complete249640–249739 with actual36038. Bounded byte wipe modeled,16934 heap release captured. Supplied acyclic list/string storage; no native allocator coalescing, lifetime or double-free legality parity.'})
+if __name__=='__main__':main()

scripts/test_qvm_string_release.py

@@ -0,0 +1,28 @@
+import json,unittest
+from pathlib import Path
+class StringReleaseTests(unittest.TestCase):
+    @classmethod
+    def setUpClass(cls):cls.rows=json.loads(Path('docs/research/qvm-string-release.json').read_text())['probes']
+    def test_independent_list_detach_and_every_backing_byte(self):
+        self.assertEqual(len(self.rows),28)
+        for p in self.rows:
+            records=p['records'];expected={r['pointer']:bytearray.fromhex(r['initial_hex']) for r in records};head=p['initial_head'];index=p['target_index'];target=records[index];pointer=target['pointer']
+            if index<p['count']:
+                previous=int.from_bytes(expected[pointer][:4],'little');following=int.from_bytes(expected[pointer][4:8],'little')
+                if previous:expected[previous][4:8]=following.to_bytes(4,'little')
+                if following:expected[following][:4]=previous.to_bytes(4,'little')
+                if head==pointer:head=following
+                size=target['payload_length']+8;expected[pointer][:size]=b'\0'*size
+            self.assertEqual(p['head'],head)
+            for r in records:self.assertEqual(bytes.fromhex(r['final_hex']),expected[r['pointer']])
+    def test_actual_strlen_and_exact_wipe_free_call_order(self):
+        for p in self.rows:
+            found=p['target_index']<p['count'];calls=p['execution']['calls'];self.assertEqual([c['target'] for c in calls],[36038,-101,16934] if found else [])
+            if found:self.assertEqual(calls[1]['args']['16'],8+p['records'][p['target_index']]['payload_length']);self.assertEqual(calls[2]['args']['8'],p['pointer']-8)
+    def test_missing_pointer_is_noop(self):
+        for p in self.rows:
+            if p['target_index']>=p['count']:self.assertEqual(p['heap_requests'],[]);self.assertEqual(p['head'],p['initial_head'])
+    def test_heap_effect_remains_explicit(self):
+        for p in self.rows:
+            for r in p['heap_requests']:self.assertTrue(r['heap_free_not_executed'])
+if __name__=='__main__':unittest.main()