GC_push_regs     1376 gc/include/private/gc_priv.h   void GC_push_regs GC_PROTO((void));
GC_push_regs      396 gc/mach_dep.c  	    --> We just generated an empty GC_push_regs, which
GC_push_regs      639 gc/mark_rts.c          GC_push_regs(); /* usually defined in machine_dep.c */