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 }
22