#16[1] → #14 · MEM#16[2] → #9 · DATA#22[0] → #8 · CTRL#22[1] → #14 · MEM#22[2] → #9 · DATA#22[3] → #21 · DATA#22[4] → #16 · DATATrue  #8/0#8 True Projection 0 of #0 Type not computed new S  #9#9 new S Type not computed [0] → — CTRL0.f =  #14#14 .f = Type not computed [0] → — CTRL [1] → — MEM [2] → — DATA [3] → — DATA0123.f  #16#16 .f Type not computed [0] → — CTRL [1] → #14 MEM [2] → #9 DATA012#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