digraph CFG {
  node [fontname="Helvetica"];
  n512 [label="START", shape=ellipse, style=filled, color=gray];
  n512 -> n518;
  n518 [label="5", shape=box];
  n518 -> n519;
  n519 [label="CALL m", shape=box, style=filled, color=orange];
  n519 -> n514;
  n519 -> n521;
  n514 [label="START m(a)", shape=ellipse, style=filled, color=green];
  n514 -> n517;
  n517 [label="a", shape=box];
  n517 -> n515;
  n515 [label="END m(a)", shape=ellipse, style=filled, color=green];
  n515 -> n521;
  n521 [label="RET m", shape=box, style=filled, color=orange];
  n521 -> n529;
  n529 [label="5", shape=box];
  n529 -> n530;
  n530 [label="CALL m", shape=box, style=filled, color=orange];
  n530 -> n523;
  n530 -> n532;
  n523 [label="START m(b)", shape=ellipse, style=filled, color=green];
  n523 -> n526;
  n526 [label="b", shape=box];
  n526 -> n527;
  n527 [label="1", shape=box];
  n527 -> n528;
  n528 [label="b + 1", shape=box];
  n528 -> n524;
  n524 [label="END m(b)", shape=ellipse, style=filled, color=green];
  n524 -> n532;
  n532 [label="RET m", shape=box, style=filled, color=orange];
  n532 -> n513;
  n513 [label="END", shape=ellipse, style=filled, color=gray];
}