Use a different hash function so that "car" and "cdr" hash to different faces when using the default settings.