0x807fffff