graph: { title: "n49" label: "49" status:clustered color:yellow
edge: {sourcename: "n49" targetname: "n50" label: "0" color: red}
node: {title: "n48" label: "Return 48" info1: "visited: 14
+return in method of type main
+ res 0 type: int
"}
edge: {sourcename: "n48" targetname: "n60" label: "0" color: blue}
edge: {sourcename: "n48" targetname: "n53" label: "1" }
start of method of type main
"}
node: {title: "n56" label: "0x3Iu 56" color: yellow info1: "visited: 15
+Const of type type_unknown
"}
node: {title: "n58" label: "ProjP 2 58" color: yellow info1: "visited: 15
"}
edge: { sourcename: "n19" targetname: "t17"label: "upper 0"}
edge: { sourcename: "n20" targetname: "t17"label: "lower 0"}
node: {title: "n19" label: "0x9Iu 19" color: yellow info1: "visited: 2
+Const of type type_unknown
+"}
+node: {title: "n4" label: "Bad 4" info1: "visited: 2
"}
node: {title: "n20" label: "0x0Iu 20" color: yellow info1: "visited: 2
+Const of type type_unknown
"}
node: {title: "t12" label: "primitive int" info1: "state: layout_fixed,
mode: Is,
edge: { sourcename: "e16" targetname: "t14"class: 3 label: "type" color: red}
edge: { sourcename: "e16" targetname: "n15"label: "value 0"}
node: {title: "n15" label: "&(ARRAY-STACK_EXAMPLE_main)P 15" color: yellow info1: "visited: 2
+Const of type type_unknown
"}
node: {title: "t13" label: "class ARRAY-STACK_EXAMPLE" info1: "state: layout_undefined
size: -1B,