digraph { graph [dpi=100 pack=true] node [fontname=Menlo] edge [fontname=Menlo] S1_yes_pake [color=blue fontame=Menlo shape=ellipse style=""] S0_no_pake [color=blue fontame="Menlo-Bold" shape=ellipse style=bold] t0 [label=<

got_non_pake
deliver

> margin=0.2 shape=none] S1_yes_pake -> t0:tableport:w [arrowhead=none] t0:tableport:e -> S1_yes_pake t1 [label=<

got_non_pake
queue

> margin=0.2 shape=none] S0_no_pake -> t1:tableport:w [arrowhead=none] t1:tableport:e -> S0_no_pake t2 [label=<

got_pake
notify_key | drain

> margin=0.2 shape=none] S0_no_pake -> t2:tableport:w [arrowhead=none] t2:tableport:e -> S1_yes_pake }