A number of the builtins - e.g. memcpy, strcmp - could benefit from knowing whether their pointer arguments are equal: the same constant or the same variable. Inside builtins.c, we're looking at trees. What is the appropriate way, given two pointers as trees, to decide whether we know they point to the same address? zw