0xffffffffc043f000