/* Elapsed time */

double Elapsed( void );