{
  "table_rva": "0x1260",
  "jump_va": 5368713343,
  "count": 21,
  "entry_encoding": "uint32 RVA; index=state-1; bounds state-1 <= 20",
  "targets": [
    5368713435,
    5368713757,
    5368713515,
    5368713345,
    5368713811,
    5368713811,
    5368713725,
    5368713413,
    5368713605,
    5368713703,
    5368713811,
    5368713388,
    5368713636,
    5368713370,
    5368713811,
    5368713548,
    5368713682,
    5368713811,
    5368713657,
    5368713779,
    5368713580
  ],
  "state_to_va": {
    "1": "0x1400010db",
    "2": "0x14000121d",
    "3": "0x14000112b",
    "4": "0x140001081",
    "5": "0x140001253",
    "6": "0x140001253",
    "7": "0x1400011fd",
    "8": "0x1400010c5",
    "9": "0x140001185",
    "10": "0x1400011e7",
    "11": "0x140001253",
    "12": "0x1400010ac",
    "13": "0x1400011a4",
    "14": "0x14000109a",
    "15": "0x140001253",
    "16": "0x14000114c",
    "17": "0x1400011d2",
    "18": "0x140001253",
    "19": "0x1400011b9",
    "20": "0x140001233",
    "21": "0x14000116c"
  },
  "state_storage": "qword [RSP+0x10] after SUB RSP,0x28",
  "evidence": "before_disassembly_stdout.txt; retained generated C with #line source annotations",
  "mode": "reference-only, no tool behavior changes"
}