0xffffffffc0424000