digraph { 1 [label="call"] 2 [label="puts"] 3 [label="grasp:main"] 4 [label="myfunc"] 5 [label="failure"] 6 [label="set"] 7 [label="success"] 8 [label="ret"] 1 -> 3 [label="name"] 1 -> 2 [label="next"] 1 -> 4 [label="func"] 6 -> 4 [label="name"] 6 -> 8 [label="next"] 6 -> 7 [label="in"] 2 -> 5 [label="in"] 1 -> 5 [label="out"] }