Li-Fan Chen says to YSITD
int32_t abs(int32_t x){ return ((x ^ (x >> 31)) + (((x >> 31) ^ INT_MIN) + 1)); }