0xffffffffc043c000