#9[0] → #5 · CTRL#14[0] → #5 · CTRL#16[0] → #5 · CTRL#16[1] → #14 · MEM#16[2] → #9 · DATA#17[0] → #5 · CTRL#22[0] → #8 · CTRL#22[1] → #14 · MEM#22[2] → #9 · DATA#22[3] → #21 · DATA#22[4] → #16 · DATAStart  #2#2 Start Type not computed $ctrl  #5/0#5 $ctrl Projection 0 of #2 Type not computed [0] → #2 CTRLTrue  #8/0#8 True Projection 0 of #17 Type not computed [0] → #17 CTRLnew S  #9#9 new S Type not computed [0] → #5 CTRL0.f =  #14#14 .f = Type not computed [0] → #5 CTRL [1] → — MEM [2] → — DATA [3] → — DATA0123.f  #16#16 .f Type not computed [0] → #5 CTRL [1] → #14 MEM [2] → #9 DATA012If  #17#17 If Type not computed [0] → #5 CTRL [1] → — DATA01#1  #21#21 #1 Type not computed .f =  #22#22 .f = Type not computed [0] → #8 CTRL [1] → #14 MEM [2] → #9 DATA [3] → #21 DATA [4] → #16 DATA01234