* time_t tea_start_time = get_tick();
*
* boil_water();
*
* if (get_tick() - tea_start_time > TEAPOT_DELAY)
* printf("Your tea, Sir.\n");
* time_t tea_start_time = get_tick();
*
* boil_water();
*
* if (get_tick() - tea_start_time > TEAPOT_DELAY)
* printf("Your tea, Sir.\n");
*
* When the tick counter increments every millisecond and time_t
* is 32bit wide, the tick count will overflow every 49.7 days.
*
* When the tick counter increments every millisecond and time_t
* is 32bit wide, the tick count will overflow every 49.7 days.