graph: { title: "g"
node: { title: "ENTRY" label: "ENTRY" }
node: { title: "EXIT" label: "EXIT" }
edge: { sourcename: "ENTRY" targetname: "2" linestyle: solid priority: 100 }

node: { title: "2" label: "#2\ngimple_switch (50)\ngimple_switch (50)"}
edge: { sourcename: "2" targetname: "8" priority: 100 linestyle: solid }
edge: { sourcename: "2" targetname: "3" priority: 100 linestyle: solid }
edge: { sourcename: "2" targetname: "4" priority: 100 linestyle: solid }
edge: { sourcename: "2" targetname: "5" priority: 100 linestyle: solid }
edge: { sourcename: "2" targetname: "6" priority: 100 linestyle: solid }
edge: { sourcename: "2" targetname: "7" priority: 100 linestyle: solid }

node: { title: "3" label: "#3\ngimple_label (-1)\ngimple_assign (52)"}
edge: { sourcename: "3" targetname: "9" priority: 100 linestyle: solid }

node: { title: "4" label: "#4\ngimple_label (-1)\ngimple_assign (53)"}
edge: { sourcename: "4" targetname: "9" priority: 100 linestyle: solid }

node: { title: "5" label: "#5\ngimple_label (-1)\ngimple_assign (54)"}
edge: { sourcename: "5" targetname: "9" priority: 100 linestyle: solid }

node: { title: "6" label: "#6\ngimple_label (-1)\ngimple_assign (55)"}
edge: { sourcename: "6" targetname: "9" priority: 100 linestyle: solid }

node: { title: "7" label: "#7\ngimple_label (-1)\ngimple_assign (56)"}
edge: { sourcename: "7" targetname: "9" priority: 100 linestyle: solid }

node: { title: "8" label: "#8\ngimple_label (-1)\ngimple_assign (57)"}
edge: { sourcename: "8" targetname: "9" priority: 100 linestyle: solid }

node: { title: "9" label: "#9\ngimple_return (-1)\ngimple_return (-1)"}
edge: { sourcename: "9" targetname: "EXIT" priority: 100 linestyle: solid }
}

graph: { title: "f"
node: { title: "ENTRY" label: "ENTRY" }
node: { title: "EXIT" label: "EXIT" }
edge: { sourcename: "ENTRY" targetname: "2" linestyle: solid priority: 100 }

node: { title: "2" label: "#2\ngimple_assign (35)\ngimple_assign (38)"}
edge: { sourcename: "2" targetname: "4" priority: 100 linestyle: solid }

node: { title: "3" label: "#3\ngimple_assign (40)\ngimple_assign (38)"}
edge: { sourcename: "3" targetname: "4" priority: 100 linestyle: solid }

node: { title: "4" label: "#4\ngimple_cond (38)\ngimple_cond (38)"}
edge: { sourcename: "4" targetname: "3" priority: 100 linestyle: solid }
edge: { sourcename: "4" targetname: "5" priority: 100 linestyle: solid }

node: { title: "5" label: "#5\ngimple_assign (43)\ngimple_assign (44)"}
edge: { sourcename: "5" targetname: "6" priority: 100 linestyle: solid }

node: { title: "6" label: "#6\ngimple_return (44)\ngimple_return (44)"}
edge: { sourcename: "6" targetname: "EXIT" priority: 100 linestyle: solid }
}