0xffffffffc139ed58