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