let var v1 := 1 function dummy1():int = ( let var v2 := 100 function dummy2():int = ( let var v3 := 3 function dummy3():int = ( let var v4 := 4 function dummy4():int = ( v1 ) in v3 +dummy4() end ) in v2 + dummy3() end ) in dummy2() end ) in dummy1() + v1 end