1  f (n)
       2       unsigned n;
       3  {
       4    if ((int) n >= 0)
       5      abort ();
       6  }
       7  
       8  main ()
       9  {
      10    unsigned x = ~0;
      11    f (x);
      12    exit (0);
      13  }