pointer           352 gc/gcc_support.c         wp->pointer = t;
pointer           385 gc/gcc_support.c       return (void*) (ec->wp1->pointer == ec->wp2->pointer);}}