0xffffffffc0f80000
