1#include <limits.h>
2
3int
4sub ()
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
14int
15main ()
16{
17  if (sub () != 0)
18    abort ();
19
20  exit (0);
21}
22