0xffffffffc9253e90