MS_TIME_DIFF      138 gc/alloc.c         time_diff = MS_TIME_DIFF(current_time,GC_start_time);
MS_TIME_DIFF      394 gc/alloc.c                        MS_TIME_DIFF(current_time,start_time));
MS_TIME_DIFF      566 gc/alloc.c     	           MS_TIME_DIFF(current_time,start_time));
MS_TIME_DIFF      572 gc/alloc.c     	             MS_TIME_DIFF(current_time,start_time));
MS_TIME_DIFF      757 gc/alloc.c     	           MS_TIME_DIFF(finalize_time,start_time),
MS_TIME_DIFF      758 gc/alloc.c     	           MS_TIME_DIFF(done_time,finalize_time));
MS_TIME_DIFF     1058 gc/reclaim.c   	           MS_TIME_DIFF(done_time,start_time));