0xffffffffc0753edf