GC_push_stubborn_structures 1364 gc/include/private/gc_priv.h 	extern void GC_push_stubborn_structures GC_PROTO((void));
GC_push_stubborn_structures  541 gc/mark_rts.c      GC_push_stubborn_structures();
GC_push_stubborn_structures   34 gc/stubborn.c  void GC_push_stubborn_structures GC_PROTO((void))
GC_push_stubborn_structures  322 gc/stubborn.c  void GC_push_stubborn_structures GC_PROTO((void))