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