0xffffffffc0def000