9 "$range": "[0..*iv_counts]",
15 "$type": "case_range_index",
16 "$range": "[8,10..14,17]",
26 "$type": "case_range_index",
27 "$range": "[*syscall_iv]",
40 "$type": "memory_map",
51 "name": "kernel_stack",
57 "name": "kernel_exec",
69 "name": "pg_mount_{index}"