arity: 1
"color: yellow}
edge: {sourcename: "n43" targetname: "n40" label: "0" class:1 priority:50}
-node: {title: "n40" label: "Load 40" info1: "mode: T
+node: {title: "n40" label: "Load[Is] 40" info1: "mode: T
visited: 11
irg: ARRAY-STACK_EXAMPLE_main
arity: 2
+volatility: volatility_non_volatile
"}
edge: {sourcename: "n40" targetname: "n31" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n40" targetname: "n39" label: "1" class:1 priority:50}