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