/*
 * Timing.h
 */

#ifdef TIMINGS

extern void time_init(void);

extern void time_term(void);

extern void time_start(int i,char *Proc);

extern void time_end(int i);
                 
#define TIME_INIT time_init();
#define TIME_TERM time_term();
#define TIME_START(x,y) time_start((x),(y));
#define TIME_END(x) time_end((x));     

#else

#define TIME_INIT 
#define TIME_TERM
#define TIME_START(x,y)
#define TIME_END(x) 

#endif

