0xffffffffc042d000