0xffffffffc0ef4000