int abs(int);