0x1dfffffff
