0xffffffffc040ed80