0xffffffffc94ce4dc