{
  "limits": "Synthetic opcode witnesses, supplied callback99. Direct LOCAL/CONST is inferable; dynamic STORE4 requires explicit reviewed offset. Patched words and their four bytes agree before a following LOAD1. No original program correctness implied.",
  "probes": [
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 0
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 0,
      "word": 0
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 1,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 1,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 1,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 1,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 1
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 1,
      "word": 1
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": -1
            }
          }
        ],
        "return": 255,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 255,
      "stored_word": -1,
      "word": -1
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 120,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 120,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 86,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 86,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 52,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 52,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 18,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 18,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 120,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 120,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 86,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 86,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 52,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 52,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 305419896
            }
          }
        ],
        "return": 18,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 18,
      "stored_word": 305419896,
      "word": 305419896
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 0,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 0,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": false,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 2,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 2,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 128,
        "stop": 7,
        "trace": null,
        "trace_length": 7,
        "trace_sha256": "d71a595b6e83e7180caf80e813a0e1b08c48963fd436c20da78927c8f489902a"
      },
      "result": 128,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 0,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 1,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 2,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 0,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 0,
      "stored_word": 2147483648,
      "word": 2147483648
    },
    {
      "byte": 3,
      "callback_after": 99,
      "dynamic": true,
      "execution": {
        "byte_writes": [],
        "calls": [
          {
            "args": {},
            "instruction": 3,
            "target": 99
          }
        ],
        "children": [
          {
            "call": {
              "args": {},
              "instruction": 3,
              "target": 99
            },
            "effect": {
              "supplied_word": 2147483648
            }
          }
        ],
        "return": 128,
        "stop": 8,
        "trace": null,
        "trace_length": 8,
        "trace_sha256": "29101ebf1ead685029508789eee51c4d4fff65524064d8e32a48efded7036982"
      },
      "result": 128,
      "stored_word": 2147483648,
      "word": 2147483648
    }
  ]
}