#6[0] → #1 · ASSOC#7[1] → #3 · MEM#7[2] → #5 · DATA#7[3] → #6 · DATA#8[1] → #7 · MEM#8[2] → #5 · DATA#8[3] → #6 · DATA#9[0] → #1 · ASSOC#10[1] → #8 · MEM#10[2] → #5 · DATA#10[3] → #9 · DATA#11[1] → #10 · MEM#11[2] → #5 · DATA#11[3] → #4 · DATA#12[1] → #11 · MEM#12[2] → #5 · DATA#13[1] → #11 · MEM#13[2] → #12 · DATAStart  #1#1 Start Type not computed $mem  #3/1#3 $mem Projection 1 of #1 Type not computed [0] → #1 MEMarg  #4/2#4 arg Projection 2 of #1 Type not computed [0] → #1 DATAnew Point  #5#5 new Point Type not computed [0] → — CTRL0#0  #6#6 #0 Type not computed [0] → #1 ASSOC0Store p.x  #7#7 Store p.x Type not computed [0] → — CTRL [1] → #3 MEM [2] → #5 DATA [3] → #6 DATA0123Store p.y  #8#8 Store p.y Type not computed [0] → — CTRL [1] → #7 MEM [2] → #5 DATA [3] → #6 DATA0123#3  #9#9 #3 Type not computed [0] → #1 ASSOC0Store p.x  #10#10 Store p.x Type not computed [0] → — CTRL [1] → #8 MEM [2] → #5 DATA [3] → #9 DATA0123Store p.y  #11#11 Store p.y Type not computed [0] → — CTRL [1] → #10 MEM [2] → #5 DATA [3] → #4 DATA0123Load p.x  #12#12 Load p.x Type not computed [0] → — CTRL [1] → #11 MEM [2] → #5 DATA [3] → — DATA0123Return  #13#13 Return Type not computed [0] → — CTRL [1] → #11 MEM [2] → #12 DATA012