{
  "endianness": "little",
  "entry": "freeze_memory_byte_lane_writer_graph_cross_function",
  "functions": {
    "freeze_memory_byte_lane_overwrite_composition": {
      "blocks": {
        "bb0": [
          {
            "bits": 16,
            "dst": "v0",
            "left": {
              "bits": 16,
              "const": 32767
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 16,
              "const": 1
            }
          },
          {
            "bits": 16,
            "dst": "llvm_signed_left_4",
            "left": {
              "bits": 16,
              "const": 32767
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 16,
              "const": 15
            }
          },
          {
            "bits": 16,
            "dst": "llvm_signed_right_5",
            "left": {
              "bits": 16,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 16,
              "const": 15
            }
          },
          {
            "bits": 16,
            "dst": "llvm_signed_result_6",
            "left": {
              "var": "v0"
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 16,
              "const": 15
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_risky_7",
            "left": {
              "var": "llvm_signed_left_4"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_right_5"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_result_same_8",
            "left": {
              "var": "llvm_signed_result_6"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_left_4"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_not_risky_9",
            "op": "unary",
            "operator": "not",
            "value": {
              "var": "llvm_signed_risky_7"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_defined_10",
            "left": {
              "var": "llvm_signed_not_risky_9"
            },
            "op": "binary",
            "operator": "or",
            "right": {
              "var": "llvm_signed_result_same_8"
            }
          },
          {
            "bits": 64,
            "dst": "v1",
            "op": "unary",
            "operator": "identity",
            "value": {
              "bits": 64,
              "const": 64
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 64
            },
            "bits": 16,
            "byte_lane_defined": "byte_lane_store_defined_1",
            "byte_lane_poison_source": "llvm_signed_defined_10",
            "byte_lane_store": "byte_lane_store_0",
            "bytes": 2,
            "op": "store",
            "value": {
              "var": "v0"
            }
          },
          {
            "bits": 1,
            "dst": "byte_lane_store_defined_1",
            "op": "unary",
            "operator": "identity",
            "value": {
              "var": "llvm_signed_defined_10"
            }
          },
          {
            "bits": 8,
            "dst": "v2",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 8,
              "const": 1
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_left_11",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_right_12",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_result_13",
            "left": {
              "var": "v2"
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_risky_14",
            "left": {
              "var": "llvm_signed_left_11"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_right_12"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_result_same_15",
            "left": {
              "var": "llvm_signed_result_13"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_left_11"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_not_risky_16",
            "op": "unary",
            "operator": "not",
            "value": {
              "var": "llvm_signed_risky_14"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_defined_17",
            "left": {
              "var": "llvm_signed_not_risky_16"
            },
            "op": "binary",
            "operator": "or",
            "right": {
              "var": "llvm_signed_result_same_15"
            }
          },
          {
            "bits": 64,
            "dst": "v3",
            "left": {
              "bits": 64,
              "const": 64
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 64,
              "const": 1
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 65
            },
            "bits": 8,
            "byte_lane_defined": "byte_lane_store_defined_3",
            "byte_lane_poison_source": "llvm_signed_defined_17",
            "byte_lane_store": "byte_lane_store_2",
            "bytes": 1,
            "op": "store",
            "value": {
              "var": "v2"
            }
          },
          {
            "bits": 1,
            "dst": "byte_lane_store_defined_3",
            "op": "unary",
            "operator": "identity",
            "value": {
              "var": "llvm_signed_defined_17"
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 64
            },
            "bits": 16,
            "bytes": 2,
            "dst": "v4",
            "op": "load"
          },
          {
            "bits": 1,
            "dst": "v4__byte_defined",
            "left": {
              "var": "byte_lane_store_defined_1"
            },
            "op": "binary",
            "operator": "and",
            "right": {
              "var": "byte_lane_store_defined_3"
            }
          },
          {
            "bits": 16,
            "dst": "deferred_poison_choice_18",
            "op": "nondet",
            "site": "1783152452970206910"
          },
          {
            "bits": 16,
            "condition": {
              "var": "v4__byte_defined"
            },
            "dst": "v5",
            "false": {
              "var": "deferred_poison_choice_18"
            },
            "op": "select",
            "true": {
              "var": "v4"
            }
          },
          {
            "bits": 1,
            "dst": "v6",
            "left": {
              "var": "v5"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "bits": 16,
              "const": 42
            }
          },
          {
            "condition": {
              "var": "v6"
            },
            "false": "bb2",
            "op": "branch",
            "site": "16658839789649558929",
            "true": "bb1"
          }
        ],
        "bb1": [
          {
            "op": "return",
            "value": {
              "bits": 8,
              "const": 1
            }
          }
        ],
        "bb2": [
          {
            "op": "return",
            "value": {
              "bits": 8,
              "const": 2
            }
          }
        ]
      },
      "byte_lane_memory_definedness": [
        {
          "block": "bb0",
          "bytes": 2,
          "defined": "v4__byte_defined",
          "lanes": [
            {
              "defined": "byte_lane_store_defined_1",
              "lane": 0,
              "source": "store",
              "store": "byte_lane_store_0",
              "store_byte": 0,
              "store_bytes": 2
            },
            {
              "defined": "byte_lane_store_defined_3",
              "lane": 1,
              "source": "store",
              "store": "byte_lane_store_2",
              "store_byte": 0,
              "store_bytes": 1
            }
          ],
          "load": "v4",
          "writer_graph": true
        }
      ],
      "entry": "bb0",
      "param_bits": [],
      "params": [],
      "return_bits": 8
    },
    "freeze_memory_byte_lane_phi": {
      "blocks": {
        "bb0": [
          {
            "condition": {
              "var": "arg0"
            },
            "false": "bb2",
            "op": "branch",
            "site": "10016743731154101881",
            "true": "bb1"
          }
        ],
        "bb1": [
          {
            "bits": 8,
            "dst": "v0",
            "left": {
              "bits": 8,
              "const": 127
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 8,
              "const": 1
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_left_8",
            "left": {
              "bits": 8,
              "const": 127
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_right_9",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_result_10",
            "left": {
              "var": "v0"
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_risky_11",
            "left": {
              "var": "llvm_signed_left_8"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_right_9"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_result_same_12",
            "left": {
              "var": "llvm_signed_result_10"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_left_8"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_not_risky_13",
            "op": "unary",
            "operator": "not",
            "value": {
              "var": "llvm_signed_risky_11"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_defined_14",
            "left": {
              "var": "llvm_signed_not_risky_13"
            },
            "op": "binary",
            "operator": "or",
            "right": {
              "var": "llvm_signed_result_same_12"
            }
          },
          {
            "bits": 64,
            "dst": "v1",
            "op": "unary",
            "operator": "identity",
            "value": {
              "bits": 64,
              "const": 64
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 64
            },
            "bits": 8,
            "byte_lane_defined": "byte_lane_store_defined_5",
            "byte_lane_poison_source": "llvm_signed_defined_14",
            "byte_lane_store": "byte_lane_store_4",
            "bytes": 1,
            "op": "store",
            "value": {
              "var": "v0"
            }
          },
          {
            "bits": 1,
            "dst": "byte_lane_store_defined_5",
            "op": "unary",
            "operator": "identity",
            "value": {
              "var": "llvm_signed_defined_14"
            }
          },
          {
            "bits": 8,
            "dst": "v2",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 8,
              "const": 1
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_left_15",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_right_16",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_result_17",
            "left": {
              "var": "v2"
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_risky_18",
            "left": {
              "var": "llvm_signed_left_15"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_right_16"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_result_same_19",
            "left": {
              "var": "llvm_signed_result_17"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_left_15"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_not_risky_20",
            "op": "unary",
            "operator": "not",
            "value": {
              "var": "llvm_signed_risky_18"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_defined_21",
            "left": {
              "var": "llvm_signed_not_risky_20"
            },
            "op": "binary",
            "operator": "or",
            "right": {
              "var": "llvm_signed_result_same_19"
            }
          },
          {
            "bits": 64,
            "dst": "v3",
            "left": {
              "bits": 64,
              "const": 64
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 64,
              "const": 1
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 65
            },
            "bits": 8,
            "byte_lane_defined": "byte_lane_store_defined_7",
            "byte_lane_poison_source": "llvm_signed_defined_21",
            "byte_lane_store": "byte_lane_store_6",
            "bytes": 1,
            "op": "store",
            "value": {
              "var": "v2"
            }
          },
          {
            "bits": 1,
            "dst": "byte_lane_store_defined_7",
            "op": "unary",
            "operator": "identity",
            "value": {
              "var": "llvm_signed_defined_21"
            }
          },
          {
            "op": "jump",
            "target": "edge_bb1_bb3"
          }
        ],
        "bb2": [
          {
            "bits": 8,
            "dst": "v4",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 8,
              "const": 1
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_left_22",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_right_23",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_result_24",
            "left": {
              "var": "v4"
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_risky_25",
            "left": {
              "var": "llvm_signed_left_22"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_right_23"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_result_same_26",
            "left": {
              "var": "llvm_signed_result_24"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_left_22"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_not_risky_27",
            "op": "unary",
            "operator": "not",
            "value": {
              "var": "llvm_signed_risky_25"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_defined_28",
            "left": {
              "var": "llvm_signed_not_risky_27"
            },
            "op": "binary",
            "operator": "or",
            "right": {
              "var": "llvm_signed_result_same_26"
            }
          },
          {
            "bits": 64,
            "dst": "v5",
            "op": "unary",
            "operator": "identity",
            "value": {
              "bits": 64,
              "const": 64
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 64
            },
            "bits": 8,
            "byte_lane_defined": "byte_lane_store_defined_1",
            "byte_lane_poison_source": "llvm_signed_defined_28",
            "byte_lane_store": "byte_lane_store_0",
            "bytes": 1,
            "op": "store",
            "value": {
              "var": "v4"
            }
          },
          {
            "bits": 1,
            "dst": "byte_lane_store_defined_1",
            "op": "unary",
            "operator": "identity",
            "value": {
              "var": "llvm_signed_defined_28"
            }
          },
          {
            "bits": 8,
            "dst": "v6",
            "left": {
              "bits": 8,
              "const": 3
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 8,
              "const": 1
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_left_29",
            "left": {
              "bits": 8,
              "const": 3
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_right_30",
            "left": {
              "bits": 8,
              "const": 1
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 8,
            "dst": "llvm_signed_result_31",
            "left": {
              "var": "v6"
            },
            "op": "binary",
            "operator": "lshr",
            "right": {
              "bits": 8,
              "const": 7
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_risky_32",
            "left": {
              "var": "llvm_signed_left_29"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_right_30"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_result_same_33",
            "left": {
              "var": "llvm_signed_result_31"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "var": "llvm_signed_left_29"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_not_risky_34",
            "op": "unary",
            "operator": "not",
            "value": {
              "var": "llvm_signed_risky_32"
            }
          },
          {
            "bits": 1,
            "dst": "llvm_signed_defined_35",
            "left": {
              "var": "llvm_signed_not_risky_34"
            },
            "op": "binary",
            "operator": "or",
            "right": {
              "var": "llvm_signed_result_same_33"
            }
          },
          {
            "bits": 64,
            "dst": "v7",
            "left": {
              "bits": 64,
              "const": 64
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "bits": 64,
              "const": 1
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 65
            },
            "bits": 8,
            "byte_lane_defined": "byte_lane_store_defined_3",
            "byte_lane_poison_source": "llvm_signed_defined_35",
            "byte_lane_store": "byte_lane_store_2",
            "bytes": 1,
            "op": "store",
            "value": {
              "var": "v6"
            }
          },
          {
            "bits": 1,
            "dst": "byte_lane_store_defined_3",
            "op": "unary",
            "operator": "identity",
            "value": {
              "var": "llvm_signed_defined_35"
            }
          },
          {
            "op": "jump",
            "target": "edge_bb2_bb3"
          }
        ],
        "bb3": [
          {
            "bits": 64,
            "dst": "v8",
            "op": "unary",
            "operator": "identity",
            "value": {
              "bits": 64,
              "const": 64
            }
          },
          {
            "address": {
              "bits": 64,
              "const": 64
            },
            "bits": 16,
            "bytes": 2,
            "dst": "v9",
            "op": "load"
          },
          {
            "bits": 16,
            "dst": "deferred_poison_choice_36",
            "op": "nondet",
            "site": "1535960558570363321"
          },
          {
            "bits": 16,
            "condition": {
              "var": "v9__byte_phi_defined"
            },
            "dst": "v10",
            "false": {
              "var": "deferred_poison_choice_36"
            },
            "op": "select",
            "true": {
              "var": "v9"
            }
          },
          {
            "bits": 1,
            "dst": "v11",
            "left": {
              "var": "v10"
            },
            "op": "binary",
            "operator": "eq",
            "right": {
              "bits": 16,
              "const": 42
            }
          },
          {
            "condition": {
              "var": "v11"
            },
            "false": "bb5",
            "op": "branch",
            "site": "14911162091923796190",
            "true": "bb4"
          }
        ],
        "bb4": [
          {
            "op": "return",
            "value": {
              "bits": 8,
              "const": 1
            }
          }
        ],
        "bb5": [
          {
            "op": "return",
            "value": {
              "bits": 8,
              "const": 2
            }
          }
        ],
        "edge_bb1_bb3": [
          {
            "bits": 1,
            "dst": "v9__byte_phi_defined",
            "left": {
              "var": "byte_lane_store_defined_5"
            },
            "op": "binary",
            "operator": "and",
            "right": {
              "var": "byte_lane_store_defined_7"
            }
          },
          {
            "op": "jump",
            "target": "bb3"
          }
        ],
        "edge_bb2_bb3": [
          {
            "bits": 1,
            "dst": "v9__byte_phi_defined",
            "left": {
              "var": "byte_lane_store_defined_1"
            },
            "op": "binary",
            "operator": "and",
            "right": {
              "var": "byte_lane_store_defined_3"
            }
          },
          {
            "op": "jump",
            "target": "bb3"
          }
        ]
      },
      "byte_lane_memory_definedness_phis": [
        {
          "block": "bb3",
          "bytes": 2,
          "defined": "v9__byte_phi_defined",
          "incoming": [
            {
              "block": "edge_bb2_bb3",
              "lanes": [
                {
                  "defined": "byte_lane_store_defined_1",
                  "lane": 0,
                  "source": "store",
                  "store": "byte_lane_store_0",
                  "store_byte": 0,
                  "store_bytes": 1
                },
                {
                  "defined": "byte_lane_store_defined_3",
                  "lane": 1,
                  "source": "store",
                  "store": "byte_lane_store_2",
                  "store_byte": 0,
                  "store_bytes": 1
                }
              ]
            },
            {
              "block": "edge_bb1_bb3",
              "lanes": [
                {
                  "defined": "byte_lane_store_defined_5",
                  "lane": 0,
                  "source": "store",
                  "store": "byte_lane_store_4",
                  "store_byte": 0,
                  "store_bytes": 1
                },
                {
                  "defined": "byte_lane_store_defined_7",
                  "lane": 1,
                  "source": "store",
                  "store": "byte_lane_store_6",
                  "store_byte": 0,
                  "store_bytes": 1
                }
              ]
            }
          ],
          "load": "v9",
          "writer_graph": true
        }
      ],
      "entry": "bb0",
      "param_bits": [
        1
      ],
      "params": [
        "arg0"
      ],
      "return_bits": 8
    },
    "freeze_memory_byte_lane_writer_graph_cross_function": {
      "blocks": {
        "bb0": [
          {
            "dst": "input_raw_0",
            "offset": 0,
            "op": "input"
          },
          {
            "bits": 1,
            "dst": "input_ext_1",
            "op": "unary",
            "operator": "zext",
            "value": {
              "var": "input_raw_0"
            }
          },
          {
            "bits": 1,
            "dst": "arg0",
            "op": "unary",
            "operator": "trunc",
            "value": {
              "var": "input_ext_1"
            }
          },
          {
            "args": [],
            "dst": "v0",
            "function": "freeze_memory_byte_lane_overwrite_composition",
            "op": "call",
            "result_bits": 8
          },
          {
            "args": [
              {
                "var": "arg0"
              }
            ],
            "dst": "v1",
            "function": "freeze_memory_byte_lane_phi",
            "op": "call",
            "result_bits": 8
          },
          {
            "bits": 8,
            "dst": "v2",
            "left": {
              "var": "v0"
            },
            "op": "binary",
            "operator": "add",
            "right": {
              "var": "v1"
            }
          },
          {
            "op": "return",
            "value": {
              "var": "v2"
            }
          }
        ]
      },
      "entry": "bb0",
      "param_bits": [],
      "params": [],
      "return_bits": 8
    }
  },
  "input_size": 1,
  "lowering": {
    "capabilities": [
      "integer-ssa",
      "scalar-mem2reg",
      "phi-edge-copies",
      "switch-chain",
      "direct-internal-calls",
      "bounded-bitvectors",
      "static-global-memory",
      "constant-gep",
      "multi-byte-memory",
      "stable-nondeterministic-freeze",
      "bounded-deferred-poison-freeze",
      "bounded-transitive-deferred-poison",
      "bounded-memory-deferred-poison",
      "canonical-address-memory-deferred-poison",
      "bounded-cross-block-memory-deferred-poison",
      "bounded-branch-memory-deferred-poison",
      "bounded-byte-lane-memory-definedness",
      "bounded-byte-lane-writer-graph",
      "bounded-byte-lane-memory-definedness-phi",
      "bounded-byte-lane-phi-writer-graph"
    ],
    "entry": "freeze_memory_byte_lane_writer_graph_cross_function",
    "input_abi": "integer-arguments-little-endian",
    "llvm_version": "18.1.3",
    "schema": "symcc-llvm-continuation-lowering-v1",
    "source_module": "/home/ubuntu/code/symcc/test/live_continuation_lowering.ll",
    "status": "lowered"
  },
  "memory_hex": "0000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
  "memory_objects": [
    {
      "address": 64,
      "kind": "static",
      "name": "poison_memory_array",
      "read_only": false,
      "size": 4
    }
  ],
  "memory_size": 68,
  "schema": "symcc-live-program-v1"
}