0xffffffffc142c000