atr_clock_stop_to_string
atr_clock_stop_to_string(clock));
extern const char *atr_clock_stop_to_string(atr_clock_stop_t);