0xffffffffc0251e0f