#4[2] → #1 · DATA#4[3] → #3 · DATA#5[2] → #4 · CTRL#7[1] → #6 · DATA#7[2] → #1 · DATA#8[1] → #7 · DATA#8[2] → #2 · DATA#9[2] → #8 · DATA#10[0] → #4 · CTRL#10[1] → #9 · DATA#12[2] → #11 · DATAParm_arg #1int#1 Parm_arg
int
[0] → — ASSOC
[1] → — DATA01Con #21#2 Con
1
Con inc #3{int -> int}#3 Con inc
{int -> int}
Call #4#4 Call
Type not computed
[0] → — CTRL
[1] → — MEM
[2] → #1 DATA
[3] → #3 DATA0123inc #5#5 inc
Type not computed
[0] → — ASSOC
[1] → — CTRL
[2] → #4 CTRL012Con #6int#6 Con
int
Parm_x #7int#7 Parm_x
int
[0] → #5 ASSOC
[1] → #6 DATA
[2] → #1 DATA[0] → #5012Add #8int#8 Add
int
[0] → — CTRL
[1] → #7 DATA
[2] → #2 DATA012Return inc #9#9 Return inc
Type not computed
[0] → — CTRL
[1] → — MEM
[2] → #8 DATA
[3] → — DATA0123CallEnd #10#10 CallEnd
Type not computed
[0] → #4 CTRL
[1] → #9 DATA01result #11/2int#11 result
Projection 2 of #10
int
[0] → #10 DATAReturn main #12#12 Return main
Type not computed
[0] → — CTRL
[1] → — MEM
[2] → #11 DATA
[3] → — DATA0123