0xffffffffc047f000