0xffffffffc0dc4000