0xffffffffc040f000