0xffffffffc1251e00