MAX_NUMLEN
char ts[MAX_NUMLEN];
buf += strpad(buf, MAX_NUMLEN, as_dec(ts, ns / NSEC_PER_SEC, 0), 5, 0, 0);
buf += strpad(buf, MAX_NUMLEN, as_dec(ts, (ns % NSEC_PER_SEC) / NSEC_PER_USEC, 0), 6, 1, 0);
char valbuf[MAX(MAX_SYMLEN, MAX_NUMLEN)];
char *p = buf + MAX_NUMLEN;