start_stopwatch(void)
Call start_stopwatch() to reset the stopwatch before executing the task you want to time, and read_stopwatch() or read_stopwatch_string() to read the elapsed time afterwards.
1.0 29/10-96 Ulrik Kjems