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