{
    "filename": "libcpychecker_html/test/example1/bug.c", 
    "function": {
        "lines": [
            3, 
            23
        ], 
        "name": "make_a_list_of_random_ints_badly"
    }, 
    "reports": [
        {
            "message": "ob_refcnt of '*item' is 1 too high", 
            "notes": [
                {
                    "location": [
                        {
                            "column": 1, 
                            "line": 22
                        }, 
                        {
                            "column": 1, 
                            "line": 22
                        }
                    ], 
                    "message": "was expecting final ob_refcnt to be N + 1 (for some unknown N)"
                }, 
                {
                    "location": [
                        {
                            "column": 1, 
                            "line": 22
                        }, 
                        {
                            "column": 1, 
                            "line": 22
                        }
                    ], 
                    "message": "due to object being referenced by: PyListObject.ob_item[0]"
                }, 
                {
                    "location": [
                        {
                            "column": 1, 
                            "line": 22
                        }, 
                        {
                            "column": 1, 
                            "line": 22
                        }
                    ], 
                    "message": "but final ob_refcnt is N + 2"
                }, 
                {
                    "location": [
                        {
                            "column": 14, 
                            "line": 17
                        }, 
                        {
                            "column": 14, 
                            "line": 17
                        }
                    ], 
                    "message": "PyLongObject allocated at:         item = PyLong_FromLong(random());"
                }, 
                {
                    "location": [
                        {
                            "column": 1, 
                            "line": 22
                        }, 
                        {
                            "column": 1, 
                            "line": 22
                        }
                    ], 
                    "message": "found 1 similar trace(s) to this"
                }
            ], 
            "severity": "warning", 
            "states": [
                {
                    "location": null, 
                    "message": "", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 26, 
                            "line": 10
                        }, 
                        {
                            "column": 26, 
                            "line": 10
                        }
                    ], 
                    "message": "when PyArg_ParseTuple() succeeds", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 8, 
                            "line": 10
                        }, 
                        {
                            "column": 8, 
                            "line": 10
                        }
                    ], 
                    "message": "taking False path", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 10, 
                            "line": 14
                        }, 
                        {
                            "column": 10, 
                            "line": 14
                        }
                    ], 
                    "message": "when PyList_New() succeeds", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 12, 
                            "line": 16
                        }, 
                        {
                            "column": 12, 
                            "line": 16
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 19, 
                            "line": 16
                        }, 
                        {
                            "column": 19, 
                            "line": 16
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 16
                        }, 
                        {
                            "column": 5, 
                            "line": 16
                        }
                    ], 
                    "message": "when considering range: 1 <= count.0 <= 0x7fffffff", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 16
                        }, 
                        {
                            "column": 5, 
                            "line": 16
                        }
                    ], 
                    "message": "taking True path", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 31, 
                            "line": 17
                        }, 
                        {
                            "column": 31, 
                            "line": 17
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 14, 
                            "line": 17
                        }, 
                        {
                            "column": 14, 
                            "line": 17
                        }
                    ], 
                    "message": "when PyLong_FromLong() succeeds", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 22, 
                            "line": 18
                        }, 
                        {
                            "column": 22, 
                            "line": 18
                        }
                    ], 
                    "message": "when PyList_Append() succeeds", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 29, 
                            "line": 16
                        }, 
                        {
                            "column": 29, 
                            "line": 16
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 19, 
                            "line": 16
                        }, 
                        {
                            "column": 19, 
                            "line": 16
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 29, 
                                    "line": 16
                                }, 
                                {
                                    "column": 29, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 16
                        }, 
                        {
                            "column": 5, 
                            "line": 16
                        }
                    ], 
                    "message": "when considering count.0 == (int)1 from libcpychecker_html/test/example1/bug.c:10", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 29, 
                                    "line": 16
                                }, 
                                {
                                    "column": 29, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 16
                        }, 
                        {
                            "column": 5, 
                            "line": 16
                        }
                    ], 
                    "message": "taking False path", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 29, 
                                    "line": 16
                                }, 
                                {
                                    "column": 29, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 21
                        }, 
                        {
                            "column": 5, 
                            "line": 21
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 29, 
                                    "line": 16
                                }, 
                                {
                                    "column": 29, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": null, 
                    "message": "returning", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 29, 
                                    "line": 16
                                }, 
                                {
                                    "column": 29, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": null, 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_item": {
                            "gcctype": "struct PyObject * *", 
                            "kind": "PointerToRegion", 
                            "target": "ob_item array for PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_item[0]": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyListObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "return value"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_size": {
                            "gcctype": "Py_ssize_t", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyListObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyList_Type", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyList_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 2
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": [
                                    "PyListObject.ob_item[0]"
                                ]
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 22, 
                                    "line": 18
                                }, 
                                {
                                    "column": 22, 
                                    "line": 18
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 29, 
                                    "line": 16
                                }, 
                                {
                                    "column": 29, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyListObject", 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "ob_item array for PyListObject": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }
            ]
        }, 
        {
            "message": "calling PyList_Append with NULL as argument 1 (list) at libcpychecker_html/test/example1/bug.c:18", 
            "notes": [
                {
                    "location": [
                        {
                            "column": 22, 
                            "line": 18
                        }, 
                        {
                            "column": 22, 
                            "line": 18
                        }
                    ], 
                    "message": "PyList_Append() invokes Py_TYPE() on the pointer via the PyList_Check() macro, thus accessing (NULL)->ob_type"
                }, 
                {
                    "location": [
                        {
                            "column": 22, 
                            "line": 18
                        }, 
                        {
                            "column": 22, 
                            "line": 18
                        }
                    ], 
                    "message": "found 1 similar trace(s) to this"
                }
            ], 
            "severity": "warning", 
            "states": [
                {
                    "location": null, 
                    "message": "", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 26, 
                            "line": 10
                        }, 
                        {
                            "column": 26, 
                            "line": 10
                        }
                    ], 
                    "message": "when PyArg_ParseTuple() succeeds", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 8, 
                            "line": 10
                        }, 
                        {
                            "column": 8, 
                            "line": 10
                        }
                    ], 
                    "message": "taking False path", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 10, 
                            "line": 14
                        }, 
                        {
                            "column": 10, 
                            "line": 14
                        }
                    ], 
                    "message": "when PyList_New() fails", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 12, 
                            "line": 16
                        }, 
                        {
                            "column": 12, 
                            "line": 16
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 19, 
                            "line": 16
                        }, 
                        {
                            "column": 19, 
                            "line": 16
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 16
                        }, 
                        {
                            "column": 5, 
                            "line": 16
                        }
                    ], 
                    "message": "when considering range: 1 <= count.0 <= 0x7fffffff", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": -2147483648, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 5, 
                            "line": 16
                        }, 
                        {
                            "column": 5, 
                            "line": 16
                        }
                    ], 
                    "message": "taking True path", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 31, 
                            "line": 17
                        }, 
                        {
                            "column": 31, 
                            "line": 17
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 14, 
                            "line": 17
                        }, 
                        {
                            "column": 14, 
                            "line": 17
                        }
                    ], 
                    "message": "when PyLong_FromLong() succeeds", 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }, 
                {
                    "location": [
                        {
                            "column": 22, 
                            "line": 18
                        }, 
                        {
                            "column": 22, 
                            "line": 18
                        }
                    ], 
                    "message": null, 
                    "variables": {
                        "<retval>": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12024": {
                            "gcctype": "int", 
                            "kind": "ConcreteValue", 
                            "value": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "D.12027": {
                            "gcctype": "struct PyObject *", 
                            "kind": "UninitializedData", 
                            "value_comes_from": [
                                {
                                    "column": 1, 
                                    "line": 6
                                }, 
                                {
                                    "column": 1, 
                                    "line": 6
                                }
                            ]
                        }, 
                        "D.12028": {
                            "gcctype": "long int", 
                            "kind": "WithinRange", 
                            "maxvalue": 9223372036854775807, 
                            "minvalue": -9223372036854775808, 
                            "value_comes_from": [
                                {
                                    "column": 31, 
                                    "line": 17
                                }, 
                                {
                                    "column": 31, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLongObject.ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 0, 
                                "refs_we_own": 1
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLongObject.ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLong_Type", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "PyLong_Type.tp_dealloc": {
                            "gcctype": "void (*destructor) (struct PyObject *)", 
                            "kind": "GenericTpDealloc", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "args": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "args", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "args->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('args')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 5
                                }, 
                                {
                                    "column": 44, 
                                    "line": 5
                                }
                            ]
                        }, 
                        "count": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "count.0": {
                            "gcctype": "int", 
                            "kind": "WithinRange", 
                            "maxvalue": 2147483647, 
                            "minvalue": 1, 
                            "value_comes_from": [
                                {
                                    "column": 26, 
                                    "line": 10
                                }, 
                                {
                                    "column": 26, 
                                    "line": 10
                                }
                            ]
                        }, 
                        "i": {
                            "gcctype": "long int", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 12, 
                                    "line": 16
                                }, 
                                {
                                    "column": 12, 
                                    "line": 16
                                }
                            ]
                        }, 
                        "item": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "PyLongObject", 
                            "value_comes_from": [
                                {
                                    "column": 14, 
                                    "line": 17
                                }, 
                                {
                                    "column": 14, 
                                    "line": 17
                                }
                            ]
                        }, 
                        "list": {
                            "gcctype": "struct PyObject *", 
                            "kind": "ConcreteValue", 
                            "value": 0, 
                            "value_comes_from": [
                                {
                                    "column": 10, 
                                    "line": 14
                                }, 
                                {
                                    "column": 10, 
                                    "line": 14
                                }
                            ]
                        }, 
                        "self": {
                            "gcctype": "struct PyObject *", 
                            "kind": "PointerToRegion", 
                            "target": "self", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_refcnt": {
                            "actual_ob_refcnt": {
                                "lower_bound_of_other_refs": 1, 
                                "refs_we_own": 0
                            }, 
                            "expected_ob_refcnt": {
                                "pointers_to_this": []
                            }, 
                            "gcctype": "Py_ssize_t", 
                            "kind": "RefcountValue", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }, 
                        "self->ob_type": {
                            "gcctype": "struct PyTypeObject *", 
                            "kind": "PointerToRegion", 
                            "target": "region-for-type-of-arg-gcc.ParmDecl('self')", 
                            "value_comes_from": [
                                {
                                    "column": 44, 
                                    "line": 4
                                }, 
                                {
                                    "column": 44, 
                                    "line": 4
                                }
                            ]
                        }
                    }
                }
            ]
        }
    ]
}
