double get_counter();
void start_counter();