digraph Taskflow {
rankdir="LR";
p0x7fdba4000030[label="init" ];
p0x7fdba4000030 -> p0x7fdba4000140;
p0x7fdba4000140[label="while i<5" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7fdba4000140 -> p0x7fdba4000470 [style=dashed label="1"];
p0x7fdba4000140 -> p0x7fdba4000250 [style=dashed label="0"];
p0x7fdba4000250[label="i++" ];
p0x7fdba4000250 -> p0x7fdba4000140;
p0x7fdba4000470[label="done" ];
}
