0xffffffffc047b000