1  main ()
       2  {
       3    unsigned long val = 1;
       4  
       5    if (val > (unsigned long) ~0)
       6      abort();
       7    exit (0);
       8  }