digraph Taskflow {
rankdir="LR";
p0x7f9e1e700030[label="init" ];
p0x7f9e1e700030 -> p0x7f9e1e700140;
p0x7f9e1e700140[label="cond" shape=diamond color=black fillcolor=aquamarine style=filled];
p0x7f9e1e700140 -> p0x7f9e1e700250 [style=dashed label="0"];
p0x7f9e1e700140 -> p0x7f9e1e700360 [style=dashed label="1"];
p0x7f9e1e700250[label="yes" ];
p0x7f9e1e700360[label="no" ];
}
