/* This function is used to set a timer for a time sometime in the future. The function  */
void timer_set(struct timer *t, clock_time_t interval)
/* This function is used to set a timer for a time sometime in the future. The function  */
void timer_set(struct timer *t, clock_time_t interval)
{
  t->interval = interval;
  t->start = clock_time();
}