0xffffffffc139f3f5