TS_MAX_CLOCK_PRECISION_DIGITS
if (digits < 0 || digits > TS_MAX_CLOCK_PRECISION_DIGITS) {
if (precision > TS_MAX_CLOCK_PRECISION_DIGITS)
char genTime_str[17 + TS_MAX_CLOCK_PRECISION_DIGITS];
if (precision > TS_MAX_CLOCK_PRECISION_DIGITS)