| T_TIME {getrusage(RUSAGE_SELF, &start_time);} '(' exp ')' {
getrusage(RUSAGE_SELF, &end_time);
cout << (end_time.ru_utime.tv_sec - start_time.ru_utime.tv_sec) +
| T_TIME {getrusage(RUSAGE_SELF, &start_time);} '(' exp ')' {
getrusage(RUSAGE_SELF, &end_time);
cout << (end_time.ru_utime.tv_sec - start_time.ru_utime.tv_sec) +