finalize_time     637 gc/alloc.c     	CLOCK_TYPE finalize_time;
finalize_time     641 gc/alloc.c     	finalize_time = start_time;
finalize_time     678 gc/alloc.c           GET_TIME(finalize_time);
finalize_time     757 gc/alloc.c     	           MS_TIME_DIFF(finalize_time,start_time),
finalize_time     758 gc/alloc.c     	           MS_TIME_DIFF(done_time,finalize_time));