/* timer.h */

double Elapsed( void );
/* Returns time in seconds since last call */