-graph: { title: "0x80a69bc" label: "Block" status:clustered color:yellow
-edge: {sourcename: "0x80a69bc" targetname: "0x80a6864" label: "0" color: red}
-node: {title: "0x80a6988" label: "Jmp " }
-node: {title: "0x80a6b80" label: "0I " color: yellow}
-node: {title: "0x80a6c30" label: "ProjP 2" color: yellow}
-edge: {sourcename: "0x80a6c30" targetname: "0x80a6c6c" label: "0" }
-node: {title: "0x80a6c6c" label: "Alloc " }
-edge: {sourcename: "0x80a6c6c" targetname: "0x80a6cf0" label: "0" color: blue}
-edge: {sourcename: "0x80a6c6c" targetname: "0x80a6cb4" label: "1" }
-node: {title: "0x80a6cb4" label: "SymC PRIMA size " }
-node: {title: "0x80a6d2c" label: "ProjM 0" color: yellow}
-edge: {sourcename: "0x80a6d2c" targetname: "0x80a6d68" label: "0" color: blue}
-node: {title: "0x80a6d68" label: "Store " }
-edge: {sourcename: "0x80a6d68" targetname: "0x80a6e24" label: "0" color: blue}
-edge: {sourcename: "0x80a6d68" targetname: "0x80a6de4" label: "1" }
-edge: {sourcename: "0x80a6d68" targetname: "0x80a6dac" label: "2" }
-node: {title: "0x80a6de4" label: "Sel a" }
-edge: {sourcename: "0x80a6de4" targetname: "0x80a6e24" label: "0" color: blue}
-edge: {sourcename: "0x80a6de4" targetname: "0x80a6c30" label: "1" }
-node: {title: "0x80a6e24" label: "ProjM 0" color: yellow}
-edge: {sourcename: "0x80a6e24" targetname: "0x80a6c6c" label: "0" color: blue}
+graph: { title: "n203" label: "203" status:clustered color:yellow
+edge: {sourcename: "n203" targetname: "n198" label: "0" color: red}
+node: {title: "n202" label: "Jmp 202" info1: "visited: 23
+"}
+node: {title: "n208" label: "0x0Is 208" color: yellow info1: "visited: 23
+Const of type type_unknown
+"}
+node: {title: "n211" label: "ProjP 2 211" color: yellow info1: "visited: 23
+"}
+edge: {sourcename: "n211" targetname: "n212" label: "0" }
+node: {title: "n212" label: "Alloc 212" info1: "visited: 23
+allocating entity of type PRIMA_INLINE
+"}
+edge: {sourcename: "n212" targetname: "n214" label: "0" color: blue}
+edge: {sourcename: "n212" targetname: "n213" label: "1" }
+node: {title: "n215" label: "ProjM 0 215" color: yellow info1: "visited: 23
+"}
+edge: {sourcename: "n215" targetname: "n216" label: "0" color: blue}
+node: {title: "n216" label: "Store 216" info1: "visited: 23
+"}
+edge: {sourcename: "n216" targetname: "n219" label: "0" color: blue}
+edge: {sourcename: "n216" targetname: "n218" label: "1" }
+edge: {sourcename: "n216" targetname: "n217" label: "2" }
+node: {title: "n218" label: "Sel a 218" info1: "visited: 23
+Selecting entity of type int
+ from entity of type PRIMA_INLINE
+"}
+edge: {sourcename: "n218" targetname: "n219" label: "0" color: blue}
+edge: {sourcename: "n218" targetname: "n211" label: "1" }
+node: {title: "n219" label: "ProjM 0 219" color: yellow info1: "visited: 23
+"}
+edge: {sourcename: "n219" targetname: "n212" label: "0" color: blue}