0x807fffffff
