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