1  #include <limits.h>
       2  
       3  int
       4  sub ()
       5  {
       6    int dummy = 0, a = 16;
       7  
       8    if (a / INT_MAX / 16 == 0)
       9      return 0;
      10    else
      11      return a / INT_MAX / 16;
      12  }
      13  
      14  int
      15  main ()
      16  {
      17    if (sub () != 0)
      18      abort ();
      19  
      20    exit (0);
      21  }