0xffffffffc040c000