digraph CFG {
  node [fontname="Helvetica"];
  n356 [label="START", shape=ellipse, style=filled, color=gray];
  n356 -> n358;
  n358 [label="0", shape=box];
  n358 -> n357;
  n357 [label="END", shape=ellipse, style=filled, color=gray];
}