GC_TYPE_DESCR_LEN  348 gc/dbg_mlc.c       char buffer[GC_TYPE_DESCR_LEN + 1];
GC_TYPE_DESCR_LEN  354 gc/dbg_mlc.c   	buffer[GC_TYPE_DESCR_LEN] = 0;
GC_TYPE_DESCR_LEN  356 gc/dbg_mlc.c   	GC_ASSERT(buffer[GC_TYPE_DESCR_LEN] == 0);