0xffffffffc042b000