smashed           926 gc/dbg_mlc.c       void GC_add_smashed(ptr_t smashed)
smashed           928 gc/dbg_mlc.c       void GC_add_smashed(smashed)
smashed           929 gc/dbg_mlc.c       ptr_t smashed;
smashed           932 gc/dbg_mlc.c       GC_ASSERT(GC_is_marked(GC_base(smashed)));
smashed           933 gc/dbg_mlc.c       GC_smashed[GC_n_smashed] = smashed;