--- 0x7fffffff
--- -0x80000000