0xffffffffc0bf8750