the fuzzy pointer - old