0xffffffffc0df8142