GC_wait_marker   1931 gc/include/private/gc_priv.h      extern void GC_wait_marker();
GC_wait_marker   1018 gc/mark.c      		    GC_wait_marker();
GC_wait_marker   1091 gc/mark.c          while (GC_helper_count > 0) GC_wait_marker();
GC_wait_marker   1116 gc/mark.c            GC_wait_marker();