digraph CFG {
  node [fontname="Helvetica"];
  n388 [label="START", shape=ellipse, style=filled, color=gray];
  n388 -> n390;
  n390 [label="1", shape=box];
  n390 -> n391;
  n391 [label="0", shape=box];
  n391 -> n392;
  n392 [label="1 >= 0", shape=box];
  n392 -> n393;
  n393 [label="<?>", shape=diamond];
  n393 -> n397 [label="T"];
  n393 -> n398 [label="F"];
  n397 [label="1", shape=box];
  n397 -> n389;
  n389 [label="END", shape=ellipse, style=filled, color=gray];
  n398 [label="0", shape=box];
  n398 -> n389;
}