1foo (a)
2{
3  return __builtin_abs (a);
4}
5
6main ()
7{
8  printf ("%d %d\n", foo (0x80000000), foo (12));
9}
10