GC_set_and_save_fault_handler  544 gc/misc.c      extern void GC_set_and_save_fault_handler GC_PROTO((void (*handler)(int)));
GC_set_and_save_fault_handler  560 gc/misc.c              GC_set_and_save_fault_handler(looping_handler);
GC_set_and_save_fault_handler  769 gc/os_dep.c    	GC_set_and_save_fault_handler(GC_fault_handler);