0xffffffffc139f895