1 extern void abort (void); 2 double d = __FLT_MIN__ / 2.0; main()3 int main() 4 { 5 double x = __FLT_MIN__ / 2.0; 6 if (x != d) 7 abort (); 8 return 0; 9 } 10