void start_counter();
double get_counter();