0xffffffffc94ce578