digraph structs {
    node [shape=plaintext]
    rankdir=LR
    edge [arrowsize=0.5]
    fontname="times"


compute1 [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD ALIGN="CENTER" PORT="i">compute<BR/>(Function)</TD>
  </TR>
</TABLE>>];

debug [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD ALIGN="CENTER" PORT="i">debug<BR/>(NullSink)</TD>
  </TR>
</TABLE>>];

dup0 [shape=point,label=dup0]

dup1 [shape=point,label=dup1]


proc [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD PORT="ia"><FONT POINT-SIZE="9.0">ia</FONT></TD>
    <TD ALIGN="CENTER" ROWSPAN="2">proc<BR/>(ProcessingOddEven)</TD>
    <TD PORT="o"><FONT POINT-SIZE="9.0">o</FONT></TD>
  </TR>
<TR>
<TD PORT="ib"><FONT POINT-SIZE="9.0">ib</FONT></TD>

 
<TD></TD></TR>

</TABLE>>];

sinka [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD ALIGN="CENTER" PORT="i">sinka<BR/>(SinkAsync)</TD>
  </TR>
</TABLE>>];

sinkb [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD ALIGN="CENTER" PORT="i">sinkb<BR/>(SinkAsync)</TD>
  </TR>
</TABLE>>];

sourceEven [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD ALIGN="CENTER" PORT="i">sourceEven<BR/>(SourceEven)</TD>
  </TR>
</TABLE>>];

sourceOdd [label=<
<TABLE BORDER="0" CELLBORDER="1" CELLSPACING="0" CELLPADDING="4">
  <TR>
    <TD ALIGN="CENTER" PORT="i">sourceOdd<BR/>(SourceOdd)</TD>
  </TR>
</TABLE>>];



sourceEven:i -> proc:ib [label="s16(2)"
,headlabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>
,taillabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>]

proc:o -> compute1:i [label="s16(2)"
,headlabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>
,taillabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>]

sourceOdd:i ->  
dup0 [label="s16(2)"

,taillabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>]

 
dup0 -> proc:ia [label="s16(2)"
,headlabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>
]

 
dup0 -> debug:i [label="s16(3)"
,headlabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>
]

compute1:i ->  
dup1 [label="s16(2)"

,taillabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>]

 
dup1 -> sinka:i [label="s16(2)"
,headlabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>
]

 
dup1 -> sinkb:i [label="s16(2)"
,headlabel=<<TABLE BORDER="0" CELLPADDING="2"><TR><TD><FONT COLOR="blue" POINT-SIZE="12.0" >1</FONT>
</TD></TR></TABLE>>
]


}