0x7fefffff