foo(a)1 foo (a)
2 {
3   a++;
4   if (a < 10)
5     return 1;
6   return a;
7 }
8 
main()9 main ()
10 {
11   printf ("%d\n", foo ((1 << 31) - 1));
12 }
13