0xffffffffc94ce50c