GC_print_all_smashed_proc  447 gc/dbg_mlc.c   void GC_print_all_smashed_proc GC_PROTO((void));
GC_print_all_smashed_proc  455 gc/dbg_mlc.c         GC_print_all_smashed = GC_print_all_smashed_proc;