GC_is_fresh      2142 gc/os_dep.c    void GC_is_fresh(h, n)
GC_is_fresh      3047 gc/os_dep.c    void GC_is_fresh(h, n)
GC_is_fresh      3284 gc/os_dep.c    void GC_is_fresh(h, n)