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