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