1static double one = 1.0;
2
3f()
4{
5  int colinear;
6  colinear = (one == 0.0);
7  if (colinear)
8    abort ();
9  return colinear;
10}
11main()
12{
13  if (f()) abort();
14  exit (0);
15}
16