GC_print_smashed_obj  801 gc/dbg_mlc.c             GC_print_smashed_obj(p, clobbered);
GC_print_smashed_obj  904 gc/dbg_mlc.c           GC_print_smashed_obj(p, clobbered);
GC_print_smashed_obj  949 gc/dbg_mlc.c           GC_print_smashed_obj(GC_base(GC_smashed[i]), GC_smashed[i]);