-0x8000 == 0x8000 with int16