/* timer.h: Stopwatch Functions */ void timer_reset(void); void timer_wait(double nsecs); double timer_elapsed(void); /* End of File */