0xffffffffc0def000
