main()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 }
13