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