0xfffffffff95c51e2