0x1ff..3c7