INT_STRLEN_MAXIMUM
if (strlen(domain) + 1 + INT_STRLEN_MAXIMUM(u_long) + 1 + strlen(OPSYS) > MAXNETNAMELEN) {
char buf[INT_STRLEN_MAXIMUM(
char buf[INT_STRLEN_MAXIMUM(int) + 1];
intbuffersize = max((int)INT_STRLEN_MAXIMUM, width) + 1; /* NUL */