/*****************************************************
 *UNIXTIMER.H - low-level system timers calls
 *
 *            - all_seconds() gives real time elapsed 
 *              since last call to start_timer()
 *
 *            - user_seconds() gives process and virtual
 *              time elapsed since last call to 
 *              start_timer()
 *****************************************************/
#ifndef _unixtimer_h
#define _unixtimer_h

extern void start_timer();
extern double all_seconds();
extern double user_seconds();


#endif /*_unixtimer_h*/