GET_TIME          137 gc/alloc.c         GET_TIME(current_time);
GET_TIME          305 gc/alloc.c               if (GC_time_limit != GC_TIME_UNLIMITED) { GET_TIME(GC_start_time); }
GET_TIME          351 gc/alloc.c             if (GC_print_stats) GET_TIME(start_time);
GET_TIME          392 gc/alloc.c             GET_TIME(current_time);
GET_TIME          437 gc/alloc.c     		  GET_TIME(GC_start_time);
GET_TIME          487 gc/alloc.c     	GET_TIME(start_time);
GET_TIME          490 gc/alloc.c     	if (GC_print_stats) GET_TIME(start_time);
GET_TIME          564 gc/alloc.c     	GET_TIME(current_time);
GET_TIME          570 gc/alloc.c     	  GET_TIME(current_time);
GET_TIME          640 gc/alloc.c     	GET_TIME(start_time);
GET_TIME          678 gc/alloc.c           GET_TIME(finalize_time);
GET_TIME          755 gc/alloc.c     	GET_TIME(done_time);
GET_TIME         1031 gc/reclaim.c   	GET_TIME(start_time);
GET_TIME         1056 gc/reclaim.c   	GET_TIME(done_time);