digraph CFG {
  node [fontname="Helvetica"];
  n835 [label="START", shape=ellipse, style=filled, color=gray];
  n835 -> n843;
  n843 [label="2", shape=box];
  n843 -> n844;
  n844 [label="CALL g", shape=box, style=filled, color=orange];
  n844 -> n837;
  n844 -> n846;
  n837 [label="START g(x, y)", shape=ellipse, style=filled, color=green];
  n837 -> n840;
  n840 [label="3", shape=box];
  n840 -> n841;
  n841 [label="y = 3", shape=box];
  n841 -> n842;
  n842 [label="x", shape=box];
  n842 -> n838;
  n838 [label="END g(x, y)", shape=ellipse, style=filled, color=green];
  n838 -> n846;
  n846 [label="RET g", shape=box, style=filled, color=orange];
  n846 -> n836;
  n836 [label="END", shape=ellipse, style=filled, color=gray];
}