0xffffffffc139f024