0xffffffffc1ce65bc
