GC_page_was_dirty 2120 gc/os_dep.c    GC_bool GC_page_was_dirty(h)
GC_page_was_dirty 2889 gc/os_dep.c    GC_bool GC_page_was_dirty(h)
GC_page_was_dirty 3252 gc/os_dep.c    GC_bool GC_page_was_dirty(h)
GC_page_was_dirty 3350 gc/os_dep.c    GC_bool GC_page_was_dirty(h)