0xffffffffc043d000