a102ad0 ^
a0d199a ^
1 2
3
4
5 6 7 8 9 10 11 12
/* * Items: abs( * Standardized-By: SuS * Not-Detected-by: gcc-4.4.3 + Linux */ #include <stdlib.h> main(int arg, char **argv) { abs(-23); }