How can a precise garbage collector work when it does not know if a value is or is not a pointer?