extern void integrator_time_init(unsigned long, unsigned int);