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