0xffffffffc040d000