#2[0] → #1 · ASSOC#3[0] → #1 · CTRL#3[1] → #2 · DATAStart  #1#1 Start Type not computed #1  #2#2 #1 Type not computed [0] → #1 ASSOC0Return  #3#3 Return Type not computed [0] → #1 CTRL [1] → #2 DATA01