/* timer.c */
void timer_start(void);
double timer_stop(void);