1  main()
       2  {
       3    double db1 = 1.7976931348623157e+308;
       4    long double ldb1 = db1;
       5  
       6    if (sizeof (double) != 8 || sizeof (long double) != 16)
       7      exit (0);
       8  
       9    if (ldb1 != 1.7976931348623157e+308)
      10      abort ();
      11    exit (0);
      12  }