0xffffffffc031ef1c