291   size_t stack_size;  in push()  local
294   stack_size = timer_stack.size();  in push()
295   current_timer = &(timer_stack[stack_size - 2]);  in push()
296   new_timer = &(timer_stack[stack_size - 1]);  in push()
309   size_t stack_size = timer_stack.size();  in pop()  local
310   KMP_DEBUG_ASSERT(stack_size > 1);  in pop()
311   old_timer = &(timer_stack[stack_size - 1]);  in pop()
312   new_timer = &(timer_stack[stack_size - 2]);  in pop()
325   size_t stack_size;  in exchange()  local
328   stack_size = timer_stack.size();  in exchange()
329   current_timer = &(timer_stack[stack_size - 1]);  in exchange()
333   new_timer = &(timer_stack[stack_size - 1]);  in exchange()