1 { int y;
2 int z;
3 y := 7;
4 { int f(int a) {
5 y := a+1;
6 return (y+a)
7 };
8 int g(int x) {
9 y := f(x+1)+1;
10 z := f(x-y+3);
11 return (z+1)
12 }
13 z := g(y*2);
14 };
15 }
Call-by-Need下的结果

来错贴吧系列