INT_STRLEN_MAXIMUM
static char buf_asctime[2*3 + 5*INT_STRLEN_MAXIMUM(int) + 7 + 2 + 1 + 1];
char buf[INT_STRLEN_MAXIMUM(
char buf[INT_STRLEN_MAXIMUM(int) + 1];
intbuffersize = max((int)INT_STRLEN_MAXIMUM, width) + 1; /* NUL */