0x87fffffff