extern void gettime_impl(void);
 extern void gettime_us_impl(void);