0xffffffffc128e428