Extract timers.h