extern void timer_c(double *,double *,fint *);