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];
char usecstr[TS_MAX_CLOCK_PRECISION_DIGITS + 2];
if (precision > TS_MAX_CLOCK_PRECISION_DIGITS)