CLOCK_TYPE        121 gc/alloc.c     CLOCK_TYPE GC_start_time;  	/* Time at which we stopped world.	*/
CLOCK_TYPE        132 gc/alloc.c         CLOCK_TYPE current_time;
CLOCK_TYPE        332 gc/alloc.c             CLOCK_TYPE start_time, current_time;
CLOCK_TYPE        483 gc/alloc.c     	CLOCK_TYPE start_time, current_time;
CLOCK_TYPE        636 gc/alloc.c     	CLOCK_TYPE start_time;
CLOCK_TYPE        637 gc/alloc.c     	CLOCK_TYPE finalize_time;
CLOCK_TYPE        638 gc/alloc.c     	CLOCK_TYPE done_time;
CLOCK_TYPE       1028 gc/reclaim.c   	CLOCK_TYPE start_time;
CLOCK_TYPE       1029 gc/reclaim.c   	CLOCK_TYPE done_time;