digraph G {
initial_block -> starter;
starter -> end;
starter -> false;
false -> end;
false -> _xit;
}