digraph Taskflow {
rankdir="LR";
p0x7f950d600030[label="init" ];
p0x7f950d600030 -> p0x7f950d600140;
p0x7f950d600140[label="do i++" ];
p0x7f950d600140 -> p0x7f950d600250;
p0x7f950d600250[label="while i<5" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7f950d600250 -> p0x7f950d600140 [style=dashed label="0"];
p0x7f950d600250 -> p0x7f950d600360 [style=dashed label="1"];
p0x7f950d600360[label="done" ];
}