/* Utility routines to manage the array of pointers to timers. */