0xffffffffc1234b58