digraph {
	1 [label="pick"]
	2 [label="grasp:main"]
	3 [label="first"]
	4 [label="second"]
	5 [label="third"]
	6 [label="empty"]
    7 [label="out"]
    8 [label="1"]

    1 -> 2 [label="name"]
    1 -> 3 [label="stack"]
    1 -> 8 [label="depth"]
    3 -> 4 [label="next"]
    4 -> 5 [label="next"]
    5 -> 6 [label="next"]
    1 -> 7 [label="out"]
}