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