0xffffffffc0edefc4