1  int main ()
       2  {
       3    long double x;
       4  
       5    x = 0x1.0p-500L;
       6    x *= 0x1.0p-522L;
       7    if (x != 0x1.0p-1022L)
       8      abort ();
       9    exit (0);
      10  }