0xffffffffc137eefd