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