0x17fffffff
