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