GC_push_gc_structures 1357 gc/include/private/gc_priv.h extern void GC_push_gc_structures GC_PROTO((void));
GC_push_gc_structures  538 gc/mark_rts.c  void GC_push_gc_structures GC_PROTO((void))
GC_push_gc_structures  613 gc/mark_rts.c  	   GC_push_gc_structures();