1 2 3 4 5 6 7 8 9 10
digraph { 1 [label="push"] 2 [label="grasp:main"] 3 [label="empty"] 4 [label="abc"] 1 -> 2 [label="name"] 1 -> 3 [label="stack"] 1 -> 4 [label="in"] }