/* * Names of the interval timers, and structure * defining a timer setting. * NB: Must match the CLOCK_ constants below. */