Yes. And in the case of a pointer initialized to 0, we should probably set it PT_ANYTHING, unless we can equate 0 with "can't point to a user variable". I'd say that zero means it can't point to a user variable.