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