GC_smashed        922 gc/dbg_mlc.c   ptr_t GC_smashed[MAX_SMASHED];
GC_smashed        933 gc/dbg_mlc.c       GC_smashed[GC_n_smashed] = smashed;
GC_smashed        949 gc/dbg_mlc.c           GC_print_smashed_obj(GC_base(GC_smashed[i]), GC_smashed[i]);
GC_smashed        950 gc/dbg_mlc.c   	GC_smashed[i] = 0;