GC_reset_fault_handler  816 gc/os_dep.c    	GC_reset_fault_handler();
GC_reset_fault_handler 1384 gc/os_dep.c            GC_reset_fault_handler();
GC_reset_fault_handler 1386 gc/os_dep.c            GC_reset_fault_handler();
GC_reset_fault_handler 1420 gc/os_dep.c    	GC_reset_fault_handler();
GC_reset_fault_handler 1422 gc/os_dep.c    	GC_reset_fault_handler();