0xffffffffc0f7c000