#17[1] → #15 · DATA#17[2] → #6 · DATA#19[1] → #17 · DATA#3  #6#6 #3 Type not computed #4  #15#15 #4 Type not computed φ_c  #17#17 φ_c Type not computed [0] → — ASSOC [1] → #15 DATA [2] → #6 DATA012Return  #19#19 Return Type not computed [0] → — CTRL [1] → #17 DATA01