TIMER_TYPE          7 timer.cc         clock_gettime(TIMER_TYPE, &start_time);
TIMER_TYPE         12 timer.cc         clock_gettime(TIMER_TYPE, &t);