--- /dev/null
+func g(x,y,z)
+ var res:=0;
+ res:=x;
+ while y>=0 or (not x=z) do
+ y:=y+(-1);
+ res:=res+z;
+ end;
+ return res;
+end;
+
+struct end;
+
+func f()
+ var off:=10 + (xx * 3);
+ var bound:= -test.c5;
+ var add:= g(test.c5) + 2;
+ return g(off,bound,add);
+end;
+