0xffffffffc12dfa64