GC_page_was_ever_dirty 2135 gc/os_dep.c    GC_bool GC_page_was_ever_dirty(h)
GC_page_was_ever_dirty 3039 gc/os_dep.c    GC_bool GC_page_was_ever_dirty(h)
GC_page_was_ever_dirty 3270 gc/os_dep.c    GC_bool GC_page_was_ever_dirty(h)