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