0x7fefffff
