0xffffffffc13585bc